theorem :: NEWTON03:101

for a, b being non zero Integer
for n being non zero Nat st not for p being prime Nat holds n divides p |-count a holds
a <> b |^ n by LmC10;