This is the reason for placing it by itself, followed by the congruence theorems.
The aim of this lecture is to establish a theory of congruence.
You must understand at once that congruence is a controversial question.
Finally the sixth axiom of congruence is that the relation of congruence is transitive.
The source of order has already been indicated and that of congruence ...