zabbc 发表于 2010-4-17 16:34   全显示 1楼
这个改进方法不错,可以适用在证明3的系列上。
0
回复帖子 发新话题