theorem :: XPRIMES2:7573

7573 is prime