A Proof of the Factorization Forest Theorem

We show that for every homomorphism ${\mathrm{\Gamma }}^{+}\to S$ where $S$ is a finite semigroup there exists a factorization forest of height $\le 3\text{abs}S$. The proof is based on Green’s relations.