for n being Ordinal
for p being Polynomial of n,F_Real holds degree p = degree |.p.|