El teorema puede parecer trivial para conjuntos finitos, pero el enunciado del teorema se cumple para conjuntos "de cualquier cardinalidad".