theorem :: XPRIMES1:503

503 is prime