Propriété - 3 :

(p₁₁) : Si r et q rationnels sont inverso-étrangers alors

Démonstration - 3 :

D’après (vi) ac | ad et ac | bc alors $ m et n tq : bc = mac et ad = nac

Par suite, d’après (vii) m et n sont étrangers. C.Q.F.D pour (p₁₁)