[arnarbi]

It’s not induction. It’s just the contrapositive of “if you can solve the simpler problem then you can solve the harder problem”