P
Initializing...
Local length of a section is at most the degree · Prove2Me