theorem :: XPRIMES1:5507

5507 is prime