theorem Th21: :: TOPGEN_3:21

for X being set
for r being Real st 0 < r & r < 1 holds
X -powers r is summable