theorem :: XPRIMES2:8573

8573 is prime