theorem :: XPRIMES0:1322

not 1322 is prime