theorem Th13: :: LIOUVIL1:11

for b being Nat st b > 1 holds
Sum ((1 / b) GeoSeq) = b / (b - 1)