Ok, I gave it a shot. Can anyone tell me if this would be valid?
* 0 < 1 , so 0 (+1) < 1 (+ 1 ) and 1 < 2
* If 2|1 then there exists an integer k such that 2 * k = 1
Case 1
* If k > 0, then 2*k ≥ 2
* 1 < 2 , thus 2*k > 1
* 2*k ≠ 1 , Thus 2 ∤ 1
Case 2
* If k = 0 then 2*k = 0
* 0 < 1...