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