site:math.stackexchange.com how to show an invariant - Search
One last step
Please solve the challenge below to continue