height of congruence

Мат. высота конгруэнтности