theorem :: XPRIMES0:310

not 310 is prime