Cardinal do produto cartesiano de conjuntos finitos