For, if E does not measure CD, let E, measuring DF, leave CF less than itself.
Now, since A, B measure E, and E measures DF, therefore A, B will also measure DF.
But they also measure the whole CD;
therefore they will also measure the remainder CF which is less than E: which is impossible.
Therefore E cannot fail to measure CD;
therefore it measures it.
Q. E. D.