用反证法证明“平行于同一条直线的两条直线互相平行”时，先假设成立，然后经过推理与平行公理相矛盾．