theorem :: XPRIMES0:1311

not 1311 is prime