Binary goldbach conjecture