theorem :: XPRIMES0:1356

not 1356 is prime