When EiE_iEi occurs, all the points are packed into a 180° arc starting at point iii. The remaining arc (the gap going counterclockwise back to iii) is at least 180°. Now suppose some other point jjj also tried to be an anchor. Point jjj's clockwise semicircle is exactly 180°. But to contain all the points, it would need to bridge that gap of 180° or more while simultaneously containing point iii on the other side. A 180° arc cannot straddle a 180° gap. So EjE_jEj cannot hold.
the type inferred for K would be something like:
，详情可参考heLLoword翻译官方下载
Maintained by Dimitris Papailiopoulos (@dimitrispapail).，这一点在safew官方下载中也有详细论述
（三）与本案当事人有其他关系，可能影响案件公正处理的。