5.531
Ich schreibe also nicht „f(a,b).a = b”, sondern „f(a,a)” (oder „f(b,b)”).
            [u|U]nd nicht „f(a,b)./a = b”, sondern „f(a,b)”.