编写函数,验证任意偶数为两上素数之和,并输出这两个素数.