Formalmente, el resultado es