This is not to say that writing proofs is always straight forward. Consider again the Goldbach conjecture: