https://artikeldigital.com/en/Unique_factorization_domain