... Математик использует косвенное определение конгруэнтности, используя тот факт, что аксиома параллелей вместе с дополнительным условием может заменить определение конгруэнтности.