Si se cumple que: