Puede verse que se cumple que: