You may prove an important lemma on your way to proving
unique factorization.
Lemma: If p is a prime and p divides ab, then p divides a
or p divides b.
Proof. I would like to construct an ancient greek type of proof
for this to demonstrate that the greeks could have accomplished
this result in the time of Euclid or before.
Suppose that p is the smallest prime such that for some a
and b, p divides ab but p does not divide a and p does not
divide b. Since p|ab we write ab=pn. It follows that solving
this problem for a>p or b>p or both, is equivalent to solving
it for a
principle known to archimedes, that is the location of a
remainder upon division by an integer. Here, the
remainders are a-kp
without any loss of generality that ab=pn , a
a>n and b>n for the ordering: n
with positive integers we first must establish that n>1.
If n=1 then p=ab and one of a or b is 1 since a>1,b>1 means
that p is composite a contradiction(we said above that p is prime)
If a=1 then p=b and p|b which we said can't happen by our
initial conditions at the top of the lemma. The same happens
if b=1. Therefore, to resolve this we must have n>1. We are
now set up with ab=pn, p is the smallest prime such that
p divides some product ab but p does not divide a or b,
and the ordering 1
steps in: n>1 implies that n has a prime divisor, say q.
The ordering now contributes n
q
divides ab, and being smaller it is not subject to the same
limitation, which means that q|a or q|b. We divide q into the
appropriate a or b and since q was an arbitrary prime in n,
which can be broken into a finite product of primes
(Your Theorem), we find that all of the primes of n have been
divided into ab leaving us with a result: AB=p,
where A divides a and B divides b. Again, p prime implies
that A=1 or B=1 since AB>1 makes p composite.
If A=1, then p=B but B|b therefore p|b.
If B=1, then p=A but A|a therefore p|a.
This means that p|a or p|b which contradicts the assumption
about p made at the start of the proof. Then, there is no
smallest p such that p|ab and not p|a and not p|b.
Therefore the lemma holds.
If you add your "first part", this lemma will prove uniqueness.