哥德巴赫猜想是近代三大数学难题之一，即任何一个大于2的偶数，都可表示成两个素数之和。如4=2+2，6=3+3，8=3+5，10=3+7。请定义一个判断素数的函数，利用它验证4~n之间的偶数都能够分解为两个素数之和，其中n≥4。
一行一个整数，为n。若n<4，则重新读入。
输出若干行，每行输出一个等式，表示4~n之间的偶数被分解为两个素数之和，若偶数不符合该整式，则输出“验证失败!”。
10
4=2+2 6=3+3 8=3+5 10=3+7