确实不很严格，回头一看，有点乱。还有别字等。就是个大意吧。

对第六点，应该说无论这个点在哪里，总能找到其他两个点与其形成一个小于0.25的三角形。如果是严格证明的话，需要详细讨论各种情形。