已知：如图， ， 和互余，于点 ． 求证：

请将下面的推理过程补充完整．

证明：∵（已知），

∴（                      ），

∴                   ，

又∵和互余（已知），

∴                 ，

∴                      （                  ），

∵（已知），

∴ ，

∴（                  ， 两直线平行）．