theorem :: NEWTON03:102

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