Is there a quasi proof of the unique factorization of the integers into the primes? I think this is an interesting point. Perhaps it was known but not proven by the Greeks, but does such a proof exist? Does the proof the last poster was referencing actually exist? Thank you.