Some statements are more difficult to prove using a direct proof so
instead we use an indirect proof. An indirect proof may include a
proof of contradiction or a proof of contrapositive. A proof of
contradiction starts with the assumption that the theorem is false,
which eventually leads to a contradiction. When working out a proof
of contrapositive, on the other hand, for a conditional statement,
a→b
