定理1：设有n个盒子和n+1个物体，把n+1个物体放入n个盒子中，一定有一个盒子放了至少2个物体。
强形式
设有q1,q2,...qn个整数。
把解析失败 (带SVG或PNG备选的MathML（建议用于现代的浏览器和辅助工具）：从服务器“http://test.largeq.cn/api/rest_v1/”返回无效的响应（“Math extension cannot connect to Restbase.”）：): {\displaystyle \sum_{i=1}^n q_i-n+1}
个物体放到n+1个盒子中，则必有某个盒子中放了qi个物体
