Which method of proof consists in assuming the opposite of what you want to prove, then deducing a logical contradiction from it?
