P
Initializing...
Positive-degree partial drops total degree by at least one · Prove2Me