theorem :: XPRIMES0:1358

not 1358 is prime