两直线重合怎么证明