如何证明:在同一平面内两条直线相交有且只有一个交点?它的理论根据是什么?