theorem :: XPRIMES1:691

691 is prime