Cтраница 2
Доказательство этой теоремы будет дано ниже. Сейчас мы ( без доказательства) предъявим некоторые результаты классификационного характера о классах эквивалентных относительных равновесий. [16]
Лодку не ставят на крышу дома, а человек без головы не может бегать; кроме того, человек на картинке выше дома, а если она изображает ландшафт, то при чем же тут буквы, которых мы не видим в природе. Правильное рассмотрение ребуса получается лишь в том случае, если мы не предъявим таких требований ко всему целому и к его отдельным частям, А постараемся заменить каждый его элемент словом, находящимся в каком-либо взаимоотношении с изображенным предметом. Слова, получаемые при этом, уже не абсурдны, а могут в своем соединении воплощать прекраснейшее и глубокомысленней-шее изречение. Таким ребусом является и сновидение, и наши предшественники при толковании последнего впадали в ошибку, рассматривая этот ребус в виде композиции рисовальщика. В качестве таковой он, вполне естественно, казался абсурдным, лишенным всякого смысла. [17]
Оказывается, нормативы расхода учитываются по заводу, а по цеху и по бригаде экономия обезличена. Былина, и мы всей бригадой собрались и решили: будем собирать олово, которое сейчас теряется в отходах; очистим его, отрафинируем и предъявим его руководителям цеха - вот наша экономия. [18]
Таким образом, препятствием к интегрируемости гамильтоно вой системы может быть топология поверхности постоянной энер гии. Ниже мы подробнее расшифруем слова далеко не каждое многообразие. Мы предъявим в явном виде топологическое пре пятствие, мешающее подавляющему большинству трехмерных многообразий реализовываться в виде поверхностей постоянной энергии интегрируемых систем. Можно построить конкретные примеры достаточно простых многообразий, которые не могут являться такими поверхностями. [19]
Основная цель настоящей работы состоит в том, чтобы продемонстрировать возможность использования программы автоматического доказательства теорем в качестве интеллектуального партнера. Мы предъявим несколько открытых проблем, решенных при непосредственном участии такого рода программы. [20]
Не составляет труда обнаружить в прямом произведении элемент, который может быть единичным элементом группы, а также элемент, обратный данному. Их легко угадать, и правильность догадки настолько очевидна, что по существу не требует доказательства. Мы ограничимся лишь тем, что предъявим читателю единичный элемент прямого произведения и элемент, обратный данному. [21]
Всякое такое улучшение для нас имеет громадное значение. Вот на что профессионалистам следует обратить внимание. Надо, чтобы ни трений, ни предрассудков не оставалось. Сейчас еще никто не хочет заключать с нами концессий. Все ждут, что мы предъявим неисполнимые требования. [22]
Английский министр иностранных дел отмечал, что в эксплуатации нефтяных месторождений и Багдадской железной дороги заинтересованы многие державы, а Устав Лиги Наций предусматривает соблюдение принципа открытых дверей на мандатных территориях. Это докажет незаконность наших требований, когда мы предъявим наследные права на британский нефтепровод, по которому будет передаваться только британская нефть для британского военного и коммерческого флота, - писал Бальфур, предлагая договориться с французами на основе соглашения Беранже-Лонга и пойти на уступки в вопросе о сирийской границе. [23]