y sabemos que: