f(g(a),X)=f(Y,f(b))
sì con {X/f(b),Y/g(a)}

g(f(a,b))=g(f(a))
no

[a,b,c]=[H|T]
si con {H/a,T/[b,c]}

[a,b,c]=[H1, H2| T]
si con {H1/a,h2/b,T/[c]}

Andrea = andrea
si con {Andrea/andrea}

Stefano = andrea
si con {Stefano/andrea}