5.531
Ich schreibe also nicht „f(a,b).a = b”, sondern „f(a,a)” (oder „f(b,b)”).
              und nicht „f(a,b)./a = b”, sondern „f(a,b)”.