If a magnitude be the same multiple of a magnitude that a subtracted part is of a subtracted part, the remainder also will be the same multiple of the remainder that the whole is of the whole.
Proof
If a=mb and a′=mb′ with a′<a, then a−a′=m(b−b′)
by Common Notion 3 applied to each of the m copies.