We can now express

and

in terms of

and an absolute constant by considering deductions from the transitivity of congruence.

[51.2] Let