An amenable equivalence relation is generated by a single transformation | Synapse