El siguiente lema será usado más adelante.