如何证明两直线重合