Evans' theorem of embeddings into 2-generator semigroup. 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?  
 A: I wanted to add this as a comment, but it turned out to be too long. The theorem you mention about countable sets of transformations is an old result of Sierpiński from 1935:
W. Sierpiński, Sur les suites infinies de fonctions d\'efinies dans les ensembles quelconques, Fund. Math. 24 (1935), 209--212. 
The article is available here and a short proof of Banach's can be found in Lemma 2.2 of this paper. You can read about similar results where the type of transformation is restricted to those which are continuous, injective, surjective and so on here.
A: 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.
