(8 marks) Prove the existence part of the unique factorization of integers theorem, that is: Every integer greater than 1 is either prime or a product of prime numbers. Use mathematical induction or the well-ordering principle