theorem :: XPRIMES0:1354

not 1354 is prime