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