theorem Th18: :: NUMBER02:18

for a being Nat
for s, z being non zero Nat holds a divides (a |^ s) - (a |^ z)