theorem :: XPRIMES0:1384

not 1384 is prime