Suppose we prove that the proposition $pq$ is true by showing instead that notq$$ notp is true. Which of the following types of proofs have we used?

Trivial proof

Proof by contraposition

Direct proof

Proof by contradiction