4以上の全ての偶数は、二つの素数の和で表すことができる。