I don’t think I ever got to my “ultimate” conclusion (that all of the operations that appear in step n must appear in the basis step).
I was trying to use this example where the proof failed at n=2 to show that it’s possible in principle for a (specific other) proof to fail at n=2. Higher-order basis steps would be necessary only if there were even more operations.
I don’t think I ever got to my “ultimate” conclusion (that all of the operations that appear in step n must appear in the basis step).
I was trying to use this example where the proof failed at n=2 to show that it’s possible in principle for a (specific other) proof to fail at n=2. Higher-order basis steps would be necessary only if there were even more operations.