theorem :: XPRIMES0:288

not 288 is prime