XI.17 Proposition XI.17
If two straight lines be cut by parallel planes, they will be cut in the same ratios.
Proof
Draw a parallelogram structure between the parallel planes; apply
VI.2 (basic proportionality) in each pair of cross-sectional lines.
lines 74–74 in main.tex