theorem Th42: :: POWER:42

for k being Integer st k <> 0 holds
0 to_power k = 0