theorem :: XPRIMES0:1341

not 1341 is prime