Existence of Goldbach Partitions for Large Even Numbers under the 1/6 N Strong Constraint and a Rigorous Proof of the Order of Magnitude of the Goldbach Counting Function | Synapse