theorem :: XPRIMES1:5279

5279 is prime