For all who effect an argument per impossibile deduce what is false, and prove the original conclusion hypothetically when something impossible results from the assumption of its contradictory; eg that the diagonal of the square is incommensurate with the side, because odd numbers are equal to evens if it is supposed to be commensurate.