c= (a,b)+(b,c)-(a,b)*(c,b);
if a,b,c are respectively 1,2,3