"конгруэнтный" упоминается вот здесь: