theorem :: XPRIMES1:5557

5557 is prime