[x = 1 ∧ y = 0] ??
{x - 2/5·(x + 1) - 1/2·y = 1/5
{2·x - 5 = x + 2/3·y - 4·(y + 1)
porto il sistema alla forma normale
{10·x - 4·(x + 1) - 5·y = 2
{6·x - 15 = 3·x + 2·y - 12·(y + 1)
------------------------
{6·x - 5·y = 6
{3·x + 10·y = 3
(forma normale!)
-------------------
Dalla 2^: y = (3 - 3·x)/10
che sostituisco nella 1^:
6·x - 5·((3 - 3·x)/10) = 6
6·x - (3 - 3·x)/2 = 6
12·x - (3 - 3·x) = 12
15·x - 3 = 12----> x = 1
y = (3 - 3·1)/10----> y = 0