原题来自：Ulm Local，题面详见：POJ 2262
哥德巴赫猜想：任何大于 4 的偶数都可以拆成两个奇素数之和。 比如：
\begin{align} 8&= 3 + 5\\ 20&= 3 + 17 = 7 + 13\\ 42&= 5 + 37 = 11 + 31 = 13 + 29 = 19 + 23 \end{align}
你的任务是：验证小于 10^6 的数满足哥德巴赫猜想。
多组数据，每组数据一个 n 。
读入以 0 结束。
对于每组数据，输出形如 n = a + b ，其中 a,b 是奇素数。若有多组满足条件的 a,b ，输出 b-a 最大的一组。 若无解，输出 Goldbach's conjecture is wrong.。
Goldbach's conjecture is wrong.
8 20 42 0
8 = 3 + 5 20 = 3 + 17 42 = 5 + 37
对于全部数据， 6\le n\le 10^6 。