theorem :: XPRIMES0:380

not 380 is prime