theorem :: XPRIMES0:282

not 282 is prime