P
Initializing...
Substituting polynomials of degree at most one does not increase the total degree · Prove2Me