Sejam !$ A !$e !$ B !$conjuntos finitos e não vazios tais que !$ A\,\subset\,B !$ e !$ n( \{ C\,:\,C\,\subset\,B\,\smallsetminus\,A \} )\,=\,128 !$.
Então, das afirmações abaixo:
I- !$ n(B)\,-\,n(A) !$ é único;
II- !$ n(B)+n(A) \le 128 !$
III- a dupla ordenada !$ (n(A),\,n(B)) !$ é única;
