Unique factorisation domain