假设哥德巴赫猜想猜想成立。

设偶数 $m=n\times(n+1)/2(n\ge 3)$。

是否可以证明，必然有奇质数 $x,y$ 满足 $x+y=m$ 且 $x\le n$。