[k__]

We did, but it didn't help.

[echlebek]

I found proof by induction useful to learn, because it translates to solving problems recursively theoretically and in programming languages.