田鼠同学的解法是对的。菱志老弟也利用机器用

来源: 于 2012-12-28 20:55:18 [博客] [旧帖] [给我悄悄话] 本文已被阅读：次

穷举发证明了。应该没错了。