theorem :: XPRIMES1:5021

5021 is prime