theorem :: XPRIMES1:1049

1049 is prime