Only Text Quote
...the mathematician uses an indirect definition of congruence, making use of the fact that the axiom of parallels together with an additional condition can replace the definition of congruence.
...the mathematician uses an indirect definition of congruence, making use of the fact that the axiom of parallels together with an additional condition can replace the definition of congruence.