nを2以上の整数とし ,2辺の長さがそれぞれ1
および√n の長方形の紙の紙型を第0判とする.
i = 1, 2 … に対して,第 (i-1) 判の紙を短辺に平行に
はさみを入れてn等分して得られる紙の紙型を
第 i 判と呼ぶことにする.

 いま, N+1個の非負整数 a_0, a_1 ,…, a_N が不等式

Σ_[i=0,N]{a_i/N^i}≦1

を満たすとする. 第 0判の1枚の紙に適当に
はさみを入れることにより,第 0判の紙を a_0枚,
第1判の紙を a_1枚, …, 第 N判の紙を a_N枚取り出せる
ことを証明せよ.