Sejam A e B conjuntos finitos e não vazios tais que A ? B e n({C : C ? B A}) = 128. Então, das afirmações abaixo:

I ? n(B) ? n(A) é único; 

II ? n(B) + n(A) ? 128; 

III ? a dupla ordenada (n(A), n(B)) é única; 

é(são) verdadeira(s)