theorem :: XPRIMES1:5501

5501 is prime