明任意一个给定的情形都是正确的（第一个，第二个，第三个，一直下去概不例外）的数学定理。
虽然数学归纳法名字中有“归纳”，但是数学归纳法并非不严谨的归纳推理法，它属于完全严谨的演绎推理法。事实上，所有数学证明都是演绎法……
……
坚定了这个想法后，孔书成立刻开始咔咔咔地着手证明第一个问。
当n大于1994时，显然不存在每个美女至多握有一张牌的情况，所以游戏不能结束。
当n=1994时，最开始有1994张牌的姑娘最后只剩1张，不妨令其的站位为1991···5310246···1992，0是最开始有牌的姑娘，与1991、1992相邻
因为是圆桌，所以站位是环状的。
假设最后游戏可以结束。那么，由题意可知，0分牌的时候，每次都给1、2一张，由于0最后剩了1张，所以2、1向两侧分牌的次数肯定不同。令xi为i向两侧分牌的次数。那么就会有：x0+x3-2x1=1;x0+x4-2x2=1…
联立，就会得到：x3-x4=2、x1+x5-2x3=1;x2+x6-2x4=1
联立，又会得到：x5-x6=3
……
时间一分一秒地过去了。
孔书成进入人题合一的状态后，完全忘记了自己身处何处，更加忘记了还有三位监考老师。
直到，半个多小时过去了，他才猛然发现，身边已经站着三位监考老师。
确切的说，是三个
583 法外狂徒孔三(8/10)