theorem :: PREPOWER:99

for a being Real
for l being Integer st a > 0 holds
a #Q l = a #Z l