theorem :: XPRIMES1:4099

4099 is prime