哥德巴赫猜想是近代三大数学难题之一，即任何一个大于$2$的偶数，都可表示成两个素数之和。如$4=2+2$，$6=3+3$，$8=3+5$，$10=3+7$。
请定义一个判断素数的函数，利用它验证$4\sim n$之间的偶数都能够分解为两个素数之和，其中$n≥4$ 。

一行一个整数，为$n$。

输出若干行，每行输出一个等式，表示$4\sim n$之间的偶数被分解为两个素数之和，若偶数不符合该整式，则输出“验证失败！”。

函数 信息学奥赛一本通.编程启蒙