.. _subtracted equals: If equals be subtracted from equals, the remainders are equal =============================================================