donde |"G"| y |"H"| denotan los cardinales de "G" y de "H", respectivamente.