Input (grade 11): 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.
Output (grade 2): can be written as a product of primes as well.