Proposition 3.11 (SEGMENT SUBTRACTION) If A*B*C, D*E*F, AB = DE₂ and AC ~ DF, then BC ~ EF