Pentru a demonstra \( EF || BD \), putem folosi proprietățile dreptelor paralele și teorema lui Thales:
Având \( PE || BC \) și \( PF || DC \), din teorema lui Thales, avem \( \frac{AE}{EB} = \frac{AF}{FD} \).
Deci, avem \( EF || BD \), deoarece rapoartele sunt egale între segmentele corespunzătoare, conform asemănării triunghiurilor.