Discussion: This student assumes that the conclusion does not hold, namely that one of U or T is closed under mulltiplication and gets a contradiction from the axioms. This problem is taken from the Putnam competition and is a good example for demonstrating logical thinking and mathematical proof.

Wrtiten response: Well done. Good execution of induction.

Click the image to bring up an enlarged copy of the solution.