5. _When equals are taken from unequals the remainders are unequal._

6. _Things which are double of the same thing, or equal things, are

equal to each other._

7. _Things which are halves of the same thing, or of equal things, are

equal to each other._