MPE = NPF (2 góc đối đỉnh)
mà MPE = 1000
=> NPF = 1000
NQG = MQH (2 góc đối đỉnh)
mà NQG = 800
=> MQH = 800
mà NPF = 1000
=> MQH + NPF = 1000 + 800 = 1800
=> MGH và NPF kề bù
mà 2 góc này ở vị trí trong cùng phía
=> EF // GH
mà XY _I_ GH
=> XY _I_ EF