theorem :: XPRIMES0:1359

not 1359 is prime