?- voirCV('xml/exch.xml').
x=a et y=b imp x+y- (x+y-y)=b et x+y-y=a
0=x-a et 0=y-b imp 0=y-b et 0=x-a
[]
[]
-----------
VRAI
true ;
false.