Def/Unique factorization 1