Description: Define the set of (even) Goldbach numbers, which are positive even
integers that can be expressed as the sum of two odd primes. By this
definition, the binary Goldbach conjecture can be expressed as
A. n e. Even ( 4 < n -> n e. GoldbachEven ) . (Contributed by AV, 14-Jun-2020)