La figure donne

0F = ÔD 7 + D 7 F,

ou encore AB = CD -f D'B'.

On voit donc que : si D'B' est la différence entre AB et CD, la somme des segments D'B' et CD est égale à AB.

Il en résulte que l'on peut encore définir la soustraction comme l'opération inverse de l'addition ; en d'autres termes :

Retrancher CD de AB, c'est chercher le segment qu'il faut ajouter à CD pour reproduire AB. Il est évident que ce segment existe toujours d'après ce qui précède, et, en outre, qu'il est unique, d'après les principes 1° et 2° du n°14.

On peut encore dire :

La différence entre une somme de deux segments et l'un de ces segments est égale à l'autre.

Si ÊF est la différence entre deux segments AB et CD, CD est la différence entre AB et EF.