theorem :: PREPOWER:4

for a being Real st a <> 0 holds
for m being Nat holds (a GeoSeq) . m <> 0