验证哥德巴赫猜想

题目说明

2000以内的不小于4的正偶数都能够分解为两个素数之和，验证哥德巴赫猜想对2000以内的正偶数成立。根据问题描述，为了验证哥德巴赫猜想对2000以内的正偶数都是成立的，要将正偶数整数分解为两部分，然后判断分解出的两个正整数是否均为素数。若是，则满足题意，否则应重新进行分解和判断。

输入：每次输入一个2000以内的不小于4的正偶数n。

输出：输出n能被分解成的素数a和b，如果不止一组解，则输出其中a最小的那组解即可。

请你补全代码。

import math
# 判断是否为素数
def fun(n):
    if n == 2:
        return 1
    if n % 2 == 0:
        return 0
    i = 3
    while i <= math.sqrt(n):
        if    ①   :
            return 0
        i += 2
    return 1  # n是除2以外的素数返回1
# 验证哥德巴赫猜想
def guess(n):
    k = 0
    i = 2
    while i <= (n // 2):
        if fun(i):
            if fun(n - i):
                print("%d  %d\n" % (  ②  ))
                  ③
        if i != 2:
            i += 1
        if k == 1:
              ④   #结果得到验证，跳出循环
        i += 1
while True:
    n = input("请输入2000以内>=4的正偶数：(输入'stop'结束运行)")
    if n=="stop":
        break
    else:
          ⑤     # 调用方法验证哥德巴赫猜想

评分标准

（1）n % i == 0；（2分）

（2）i, n - i；（2分）

（3）k = 1；（2分）

（4）break；（2分）

（5）guess(int(n))。（2分）