Renaming the variables: x -$>$ f und x1 -$>$ x

Eine konsequente Umbenennung von Variablennamen ist nach der Regel der Alpha-Konvertierung immer erlaubt, wenn dadurch nicht Konflikte auftreten, wie sie oben beschrieben wurden. A consequent renaming of variables is always allowed according to the rule of alpha-conversion, provided that this does not cause a conflict similiar to the ones shown above.