Consider the statement Proof by contraposition: Suppose …
Consider the statement Proof by contraposition: Suppose is any integer such that [a1]. By definition, [a2]. Thus [b1]. By substitution, [a3]. But is an integer because the sums and products of integers are integers. Hence, [b2] is [a4] by definition.
Read Details