theorem Th57: :: POLYNOM5:57

for L being Field
for p being Polynomial of L st len p <> 0 holds
len (NormPolynomial p) = len p