theorem :: XPRIMES1:5503

5503 is prime