En efecto, se cumplirá que: