theorem :: XPRIMET1:10

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