Sin embargo aquí tomamos un camino más directo para formular un enunciado: