theorem :: XPRIMES0:385

not 385 is prime