Unique factorisation domain

Summary