Show that (V x € [1; + ∞ [ and ] (V y € [1; +∞ [
x² + y² + xy - x - y - 1 = 0 => x=y=1​