Def/Factorization into irreducibles 1