1:
2:
3:
4:
5:
6:

\begin{Definition}
\begin{enumerate}[(a)]
\item Andernfalls sei $\displaystyle m = \begin{cases} \frac{y_2 - y_2}{x_2 - x_1} & \text{für } P \neq Q\text{,}\\ \frac{3x_1^2 + a}{2y_1} & \text{für } P = Q\text{.}\end{cases}$
Wir setzen dann $P \oplus Q = R$ mit $x_3 = m^2 - x_1 - x_2$ und $y_3 = -m(x_3 - x_1) - y_1$.
\end{enumerate}
\end{Definition}