P
Initializing...
The length of a finite sum of integer polynomials is at most the sum of the lengths · Prove2Me