theorem :: XPRIMES0:381

not 381 is prime