怎么证明两条线重合