theorem :: XPRIMES0:390

not 390 is prime