theorem :: XPRIMES1:271

271 is prime