Def/Unique factorization



=Metadata=