Definition:Goldbach Decomposition

Definition
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$