"Demostración": Si cada caja contiene como mucho p objetos, el número total de objetos que podemos colocar es "np" < "np" + 1 ≤ "np" + "m".