Si l'on retranche des grandeurs égales à des grandeurs égales, les restes demeurent égaux.
Cette phrase signifie tout simplement en langage moderne que la relation d'équivalence qu'est l'égalité est compatible avec la soustraction : si x, y et z sont des nombres tels que x = y, alors x – z = y – z.