theorem :: XPRIMES0:384

not 384 is prime