theorem :: XPRIMES1:4973

4973 is prime