a\not= \sqrt \frac{1+\sqrt{7}}{2}