theorem :: PREPOWER:100

for l being Integer st l <> 0 holds
0 #Z l = 0