theorem Th87: :: NEWTON:87

for r being natural Number
for n being Nat holds
( ( r <> 0 or n = 0 ) iff r |^ n <> 0 )