Very often, it will be impossible to prove a theorem by a direct proof, but the proof via a contrapositive argument will be simple (for example, v.i. def inj).