P
Initializing...
Open geometric core: critical-radius cover has at most nine vertices · Prove2Me