theorem :: NUMBER03:68

for k being Nat
for p being Prime st p * p <= k & k < 25 & not p = 2 holds
p = 3