Theorem factorization_one

Modification history