P
Initializing...
Constant loops c·I with 0 < c < 2π are nondegenerate · Prove2Me