If, as a whole is to a whole, so is a part subtracted to a part subtracted, the remainder will also be to the remainder as whole to whole.

For, as the whole AB is to the whole CD, so let the part AE subtracted be to the part CF subtracted; I say that the remainder EB will also be to the remainder FD as the whole AB to the whole CD.