需用‘因为所以’的格式写

用反证法,假设EF‖GH.
证明：
假设EF与GH不相交,即EF//GH.
又∵EF⊥AB
∴GH⊥AB
∵GH⊥CD
∴AB//CD
这与已知 直线AB与CD相交于O矛盾
故EF与GH必相交.