Formalmente, esto significa que