theorem :: PREPOWER:38

for a being Real
for k being Integer st a <> 0 holds
a #Z k <> 0