已知: ;
求证: 中至少有一个内角小于或等于 .
证明:假设 中没有一个内角小于或等于 ,即 ,则
,
这与“__________” 这个定理相矛盾,
所以 中至少有一个内角小于或等于 .
在证明过程中,横线上应填入的句子是( )