In `DeltaXDE`, `PQ||DE` .....(Given)
`:.(XP)/(PD)=(XQ)/(QE)`..........`(1)`........(Basic proportionality theorem)
In `DeltaXEF`, `QR||EF`........(Given)
`:.(XQ)/(QE)=(XR)/(RF)`..........`(2)`........(Basic proportionality theorem)
`:.(XP)/(PD)=(XR)/(RF)`.....[From `(1)` and `(2)`]
`:.` seg `PR||` seg `DF`.......(Converse of basic proportionality theorem)