theorem :: XPRIMES0:1336

not 1336 is prime