Alle Literalgleichungen haben wie viele Variablen