an indirect way of proof, by shewing the absurdity of the contrary.