theorem :: XPRIMES1:1723

1723 is prime