Unique factorization in abstract algebra | lit.salon