A 'Reductio ad Absurdum' proof works by:
Assuming the conclusion and finding a contradiction
Assuming the negation of the conclusion and finding a contradiction
Proving the contrapositive
Listing all possible cases