Original: can be written as a product of primes as well, simply by combining the factorizations of a and b; this is a proof by contradiction.
Simplified: can be written as a product of primes as well.