theorem :: XPRIMES1:5107

5107 is prime