theorem :: XPRIMES2:7457

7457 is prime