for n being set
for p being Series of n,F_Real holds Support p = Support |.p.|