Build on all the earlier proofs to distill a new tool of argument, proof by contradiction, and close out this stage with it, laying groundwork for the trickier reasoning in similarity