验证哥德巴赫猜想。
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:
⑤ # 调用方法验证哥德巴赫猜想