theorem mm6c: :: FIELD_14:68

for F being 0 -characteristic Field
for p being non zero Element of the carrier of (Polynom-Ring F) holds deg ((Deriv F) . p) = (deg p) - 1