验证哥德巴赫猜想

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:

          ⑤     # 调用方法验证哥德巴赫猜想