theorem Th35: :: RATFUNC1:35

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