theorem :: XPRIMES1:283

283 is prime