Para formalizar esto, debemos poder decir: