theorem Th72: :: NEWTON:72

for l being Nat ex p being Prime st p > l