Goldbach's conjecture (statement and verification)

Conjecture. Every even integer $n\ge4$ can be expressed as a sum of two primes.

Verify $10$. $10=3+7=5+5$. ✓

Verify $20$. $20=3+17=7+13$. ✓

Verify $40$. $40=3+37=11+29=17+23$. ✓

Conclusion. Verified for these examples; the conjecture remains open in general (verified up to $4\cdot10^{18}$).