exo7 3151

$$\left\{ \begin{aligned}\dot3x + \dot7y &= \dot3\cr \dot6x - \dot7y &= \dot0.\end{aligned}\right.$$

$x^2 - \dot{\overline{31}}x + \dot{\overline{18}} = \dot0$.