Unique factorisation

Redirect to:

• Unique factorization domain