\begin{definition}[Definition:Goldbach Decomposition]
Let $n \in \Z_{>0}$ be a positive integer such that $n$ is even.
A '''Goldbach decomposition''' for $n$ is a pair of primes $p_1, p_2$ such that:
:$p_1 + p_2 = n$
\end{definition}