∵点K∈直线EH,EH∈平面ABD（子集那个符号打不出来,不好意思,凑合看）
∴点K∈平面ABD
同理,点K∈平面BCD.
∴点K在两平面ABD和BCD交线上,
即点K∈直线BD
∴EH,BD,FG三线交于点K.
证毕.