Theory of Relative Squares

[Thor23]

But you can't assume it works for all n = k because you don't know if that's true. You can only assume it works for one k, then show that if - based off that assumption - k+1 also happens to be true, then it will work for whatever k happens to be. If k+1 doesn't work, then your assumption must have been wrong.