Introduce theorem of three parallel lines cutting two transversals proportionally