https://lyh.cool/number-theory/2023/06/16/applications-of-unique-factorization/