theorem :: XPRIMET1:6

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