site:math.stackexchange.com congruent vs equivalent - Search