Además se cumple que: