我读virtual book的时候，看到量词、Reduce、Resolve这些函数，
我看了几个范例，真的有吓到，
并且我反应很快，马上想到：真那么神，那费马定理不就可以轻松推出来吗？
但因为我才刚学，写起来超卡，就没去实验了。
结果刚才逛到官网范例，还真的有耶：(最最下面的那个箭头，巧妙范例点进去)
http://reference.wolfram.com/mathematica/ref/FullSimplify.html
这到底是怎么做到的？它背后的机制是真的用循环疯狂去test吗？
因为我看官网Reduce/Resolve的范例，真的蛮强大的...
并且ForAll, Exist是巢状量词，这些直接跟高等微积分的精髓有关
如果那么有效，我不敢想像在高等微积分会多么神威...