Poincaré_separation_theorem loading ...