theorem :: XPRIMES1:499

499 is prime