theorem :: XPRIMES1:269

269 is prime