5.531

Não escrevo pois “f(a, b) . a = b” mas “f(a, a) (ou “f(b, b)”). Não escrevo “f(a, b)”. ∼a = b”, mas “f(a, b)”.