Si a et b sont égaux

add 1.32. Si a et b sont inégaux -.a—b

(Ceci résulte des axiomes 6).

133 Ex Lay Lb.=.x—yL(b—a) si b est plus grand ou égal à a.

Nous avons le droit de démontrer ceci de la manière

suivante.

On a:

ix=ykc.=.x+i=y+c+1l

Chapitre 4. 1.33. — 68 — d’après l’axiome (4). Comme (9) ne peut être appliqué qu’à des chiffres a et b déterminés, un nombre déterminé de pas conduit au résultat.

On démontrera de manière semblable les propositions suivantes: