Concept

Unique factorization domain