Dado que siempre se cumple que