已知:△ABC.
求证:△ABC中至少有一个内角小于或等于60°.
证明:假设△ABC中没有一个内角小于或等于60° ,即∠A>60°,∠B>60°,∠C>60°,则∠A+∠B+∠C>60+60°+60°= 180°,
这与“____”这个定理相矛盾,
所以△ABC中至少有一个内角小于或等于60°.
在证明过程中,横线上应填入的句子是( )