ให้ A เป็นเซตของคำตอบของอสมการ x 1 + x 2 + x 3 ≤ 11 {\displaystyle x_{1}+x_{2}+x_{3}\leq 11\,} โดยที่ x i ≥ 0 {\displaystyle x_{i}\geq 0\,}
ให้ B เป็นเซตของคำตอบของสมการ x 1 + x 2 + x 3 + x 4 = 11 {\displaystyle x_{1}+x_{2}+x_{3}+x_{4}=11\,} โดยที่ x i ≥ 0 {\displaystyle x_{i}\geq 0\,}
นิยามฟังก์ชัน f : A → B {\displaystyle f:A\rightarrow B\,} ดังต่อไปนี้ ถ้า x 1 = a , x 2 = b , x 3 = c {\displaystyle x_{1}=a,x_{2}=b,x_{3}=c\,} เป็นคำตอบของสมการ x 1 + x 2 + x 3 ≤ 11 {\displaystyle x_{1}+x_{2}+x_{3}\leq 11\,} แล้ว เรานิยามให้ f {\displaystyle f\,} ส่ง x 1 = a , x 2 = b , x 3 = c {\displaystyle x_{1}=a,x_{2}=b,x_{3}=c\,} ไปยังคำตอบ x 1 = a , x 2 = b , x 3 = c , x 4 = 11 − a − b − c {\displaystyle x_{1}=a,x_{2}=b,x_{3}=c,x_{4}=11-a-b-c\,} ของสมการ x 1 + x 2 + x 3 + x 4 = 11 {\displaystyle x_{1}+x_{2}+x_{3}+x_{4}=11\,} เราเห็นได้อย่างชัดเจนว่า f เป็นฟังก์ชันหนึ่งต่อหนึ่งและทั่วถึง
ดังนั้น | A | = | B | = ( 11 + 4 − 1 11 ) = 364 {\displaystyle |A|=|B|={11+4-1 \choose 11}=364\,}
โดยที่ 
โดยที่
ดังต่อไปนี้ ถ้า 
เป็นคำตอบของสมการ แล้ว เรานิยามให้ 
ส่ง ไปยังคำตอบ 
ของสมการ เราเห็นได้อย่างชัดเจนว่า f เป็นฟังก์ชันหนึ่งต่อหนึ่งและทั่วถึง
