Es decir, se tiene que