theorem :: XPRIMES1:683

683 is prime