for L being Field
for p, q being rational_function of L
for x being Element of L st eval ((p `2),x) <> 0. L & eval ((q `2),x) <> 0. L holds
eval ((p *' q),x) = (eval (p,x)) * (eval (q,x))