我记得有一个证明是“在同一平面内过直线外一点不能作这条直线的平行线”的推理,那是什么推理?