перестановочность конгруэнций

Мат. congruence permutability