ByNobleID
    A short proof of the factorization forest theorem. | NobleID