I recently found this theorem when I am studying Semigroup presentations.
Theorem: If S is a semigroup generated by denumerably many elements, then S can be embedded into a semigroup generated by two elements.
As a hint for constructing the proof a theorem was given:
Theorem: Let $\alpha_{1},\alpha_{2}...:\mathbb N_{+}\to \mathbb N_{+}$ be any transformations. There exist two transformation $\beta_{1},\beta_{2}:\mathbb N_{+}\to \mathbb N_{+}$ such that each $\alpha_{i}$ is a composition of these two transformations.
By using a suitable isomorphisms Evans' theorem follows from the above result. But, to my suprise constructing the proof is given me headache. Please can someone assist?
The point is that every countable semigroup is isomorphic to a semigroup consisting of maps from a countable set to itself with composition. This can be seen by letting the semigroup act on itself by left multiplication. (We may assume that the semigroup is infinite by taking the product with some infinite semigroup.) Any countable set is as good as any other countable set, hence you can assume your semigroup consists of maps from the positive integers to the positive integers.
Now apply the theorem that you quote.