Neutrales Element (Multiplikation)

\begin{align*} % \forall x(x \cdot 1 \land 1 \cdot x = x) \\ % \forall x(x \cdot 1 = x) \\ \forall x(x \cdot 1 = 1 \cdot x = x) \end{align*}