theorem :: XPRIMES1:5573

5573 is prime