Last modified on 25 January 2014, at 05:54

unique factorization domain