theorem :: XPRIMET1:4

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