Vì các tam giác vuông BED và BFC có chung cạnh huyền BC nên bốn điểm B, F, E, C cùng nằm trên đường tròn đường kính BC.

Do đó BFEC là tứ giác nội tiếp đường tròn bán kính BC.

Vì tổng các góc đối nhau của các tứ giác nội tiếp BFEC và XFEY bằng 180° nên ta có:

FBC^=180°−FEC^=180°−FEY^=FXY^.

Do đó BC // XY (do hai góc đồng vị bằng nhau).