yicx has marked this topic as resolved.

thank you, the idea that I can find some way other than induction is more than enough, have a wonderful day!

yicx said:

thank you, the idea that I can find some way other than induction is more than enough, have a wonderful day!

To be precise, induction is massively used in the proof of lemmas `L0`

to `L3`

.

It’s very usual, when stuck in an attempt to prove simply a property by induction, to prove (often by induction) a more general property.

Last updated: Feb 06 2023 at 12:04 UTC