theorem NEWTON89: :: NEWTON03:16

for a being Integer
for m, n being Nat st m >= n holds
a |^ n divides a |^ m