theorem :: XPRIMES1:311

311 is prime