I'm confused. Suppose the ternary is true. Then, for an even integer, you have that it is the sum of 3 primes. For n>6, one of these must be 2, the other two being odd primes. So then, for every even n>6, the ternary implies n-2 satisfies the binary. Isn't that enough to say that ternary implies binary?