theorem :: XPRIMES0:1386

not 1386 is prime