La contraposée de :
Si j’ai n+1 objets à mettre dans n tiroirs, alors au moins un tiroir contiendra au moins deux objets.
est :
Sur n tiroirs, si aucun tiroir ne contient pas au moins deux objets, on ne peut pas avoir strictement plus de n objets en tout.
autrement dit :
Sur n tiroirs, si tous les tiroirs contiennent 0 ou 1 objet, on ne peut pas avoir strictement plus de n objets en tout.