Si "A", ..., "A" son conjuntos finitos entonces: