Por tanto se cumple que: