It isn't induction exactly. The proof works without it, but to get the right initial index I picked a set whose order I could easily count as the starting point.

At least I think that's how it went.