De hecho se cumple que: