theorem Th72: :: NEWTON:72

for l being Nat ex p being Prime st
( p is prime & p > l )