Dados três conjuntos finitos A, B e C, é verdade que