theorem :: XPRIMES0:1331

not 1331 is prime