The more I think about it, the more it becomes apparent that an induction proof could only be more complicated than yours because it would basically contain it.
The fool hath said in his heart, There is a God. They are corrupt, they have done abominable works, there is none that doeth good.
Psalm 14, KJV revised edition