... recursively.¹

When you consider the integers as such a structure, where all numbers are defined by recursively adding one to itself, you get straight induction

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... contrapositive.²

In the general form of proof by contradiction, you assume both not B and A, and work towards a contradiction somewhere in the middle. In proof by contrapositive, the contradiction is always on the A side.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.