theorem :: XPRIMES0:386

not 386 is prime