Prime factorization/Existence/Fact/Proof2