theorem Th3: :: HILB10_5:4

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