Template:Polynomial ring multiplication/Formula