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)”.