theorem :: XPRIMES0:280

not 280 is prime