La prueba del caso general con conjuntos de cualquier tamaño es directa.