En ese caso se cumple que: