site:math.stackexchange.com how to show an invariant - Search
Refresh