In this research a neccessary and sufficient condition for the proof of the Binary Goldbach conjecture is established. It is established that the square of all natural numbers greater or equal to 2 have an additive partition equal to the sum of the square of a natural number greater or equal to zero and a Goldbach partition semiprime. All Goldbach partition semiprimes are odd except 4. This finding is in itself proof all composite even numbers have at least Goldbach partition. The result of the proof of the Binary Goldbach conjecture is used to prove the Andrica and Legendre conjectures. The Riemann hypothesis is examined and sources of non trivial zeroes outside the critical strip are discussed. An example example of a non-trivial zero outside the critical strip is given