因子分解森林定理的证明

我们证明，对于每一个同态 $\Gamma^+ \to S$（其中 $S$ 是有限半群），都存在一个高度 $\leq 3 \abs{S}$ 的因子分解森林。该证明基于 Green 关系。