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