Prime factorization/Existence/Fact