Cuando este enunciado variacional se cumple, los términos del interior de la llave obedecen la propiedad: