Ramiro: ¿En qué es que, según dices, está mala mi redacción? ¿En mi respuesta? Si es en mi respuesta, quisiera saber qué es lo que está mal redactado, porque si lo que dice la respuesta es correcto, no es cierto que tiene errores de redacción, porque realmente no los tiene. Si no es en mi respuesta, entonces no es cierto lo que dices, porque yo no cometo errores de redacción. No es en la pregunta, porque la pregunta, al traducirla al español, yo la escribí exactamente como sale planteada en el libro "The Art of Computer Programming", del señor Donald Ervin Knuth.
Quien claramente puede verse que tiene errores de redacción, Ramiro, eres tú. No es mentira, en tu respuesta, aparte de querer expresar algo que no tiene sentido (que la demostración está correcta, y el enunciado no es cierto), tienes graves errores de redacción y de ortografía. En lugar del sustantivo "enunciado", usas la palabra "enunciada", que no es un sustantivo (es la forma femenina del participio "enunciado", participio de "enunciar"), y lo usas como si lo fuera (error de redacción); escribiste la palabra "hay" en lugar de "allí", o "ahí", que son las opciones correctas, y escribiste "esta" (sin acento) en lugar de "está" (errores de ortografía). Te menciono los errores que tienes, porque, en realidad, errores tan garrafales como esos, son muy detestables. Debes buscar cómo aprender a escribir bien.