Abstractions can be useful

Proving things about poly-nominals usual much easier than proving things about integers: Poly-Nominals have roots and can be differentiated. (Is there a notion of differentiation that can be applied to integers? Primes? ) (Fearless Symmetry)