cancellative congruence

Мат. конгруэнция с сокращениями