theorem :: NUMBER03:66

for k being Nat
for p being Prime st p * p <= k & k < 9 holds
p = 2