theorem Th14x: :: FIELD_11:9

for F being Field
for n being Ordinal
for p being Monomial of n,F holds
( LC p = coefficient p & Lt p = term p )