P
Initializing...
Polynomial multiplication by Kronecker substitution is exact · Prove2Me