Se cumple que: