Цитата:
Katherine Kinn пишет:
в тексте эти леммы доказаны более развернуто.
|
Стоп. Лемма - промежуточное утвеждение, используемое при доказывании некой теоремы. В тексте докательства теоремы леммы _не должны_ доказываться. Содержание теоремы не должно совпадать с содержанием леммы.
Кроме того, данное утверждение использется не как лемма, а как аксиома. Из "Советов оппонентам":
Цитата:
Статья имеет смысл, если принимать во внимание ее исходные посылки. Посылки в самой статье не прописаны (и это, кстати, ее недостаток, поскольку они не очевидны и не всеми разделяются). Если эти посылки игнорировать, статья будет выглядеть невнятной и бессмысленной.
Статья правильна и доказательна для того, кто с этими посылками согласен.
|
Если для того, что бы из положения А кому-либо вывести _его же_ требуется N килобайт текста, то я не понимаю смысла происходящего.