相只有一个的推理结果: