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