theorem :: XPRIMES1:4283

4283 is prime