theorem :: XPRIMES0:276

not 276 is prime