Def/Factorization into irreducibles

 

=Metadata=