これは陳の定理(chen's theorem)と呼ばれる。