Cтраница 3
Другое доказательство тех же фактов дает элиминация кванторов ( теорема 30, с. Как мы отмечали в разделе 3.6, для каждой формулы ip нашей сигнатуры существует бескванторная формула if, эквивалентная if в любой нормальной интерпретации теории плотных линейно упорядоченных множеств без первого и последнего элементов. [31]
Другое доказательство: на каждой показанной на рисунках пунктиром прямой должно стоять по фишке. Именно это доказательство переделывается на случай нечетного га ( рис. 113 6) 1 кроме 2п - 2 пунктирных прямых ( на каждой - по фишке), следует рассмотреть еще шесть прямых, соединяющих центры клеток А, В, С, D; на них нужно потратить еще не менее 3 фишек. [32]
Другое доказательство: по условию ряд 2ы сходится, обозначим через 5 его сумму. [33]
Другое доказательство получается из следующего рассуждения. [34]
Другое доказательство, использующее переход к пределу в дискретной модели, содержится в 1; гл. [35]
Другое доказательство для 16.1 может быть получено применением тавтологий ( Тз4) - ( Т &3) вместо соответствующих булевых тождеств. [36]
Другое доказательство справедливости этой формулы было дано Бредтом [74] следующим образом. Камфороновая кислота при действии брома и гидролизе полученной таким образом бромокислоты дает лактонокислоту камф-зрановую, которая при сплавлении с КОН распадается на кислоты щавелевую и триметилян-тарную. [37]
Другое доказательство соответствия между кетонной группой кам-фононовой кислоты и орто-карбоксилом камфорной кислоты было проведено следующим образом. [38]
Другое доказательство сохранения углов. [39]
Другое доказательство утверждения в условиях теоремы 9 3 принадлежит А. [40]
Другое доказательство леммы 4.4 основано на теореме Жордана о кривой, в которой утверждается, что простая замкнутая кривая ( гемеоморфная окружности) делит плоскость на две области, общей границей которых является сама кривая. Следствием этой теоремы является тот очевидный факт, что простая кривая, соединяющая две точки, каждая из которых лежит в разной области, пересекает границу. Для доказательства того, что граф 2-го типа является плоским, соединим два пункта обслуживания с двумя домами, как показано на рис. 4.4, образовав жорданову кривую. Третий пункт расположен либо внутри, либо снаружи грани, ограниченной этой кривой. Предположим, он расположен внутри грани. Если он расположен снаружи и связан с домом, то другой пункт должен быть внутри грани. [41]
Другое доказательство евклидовости плоскости - известный всем факт, заключающийся в том, что кратчайший путь между двумя точками на плоскости - отрезок прямой линии. [42]
Другое доказательство реакций электронов было получено при импульсном ( 2 мксек) облучении растворов дифенила ( 10 ммоль) в циклогексане электронами с энергией 2 Мэв. [43]
Другое доказательство наличия тонких пор в адсорбентах, средний радиус пор которых велик, заключается в том, что силикагели способны удерживать 4 - 10 % адсорбированного вещества при низких давлениях и высоких температурах ( табл. 53, гл. [44]
Другое доказательство образования иона карбония основано па том, что метиновып углерод беизгпдрнлыюй системы асимметричен, поэтому можно ввести в реакцию оптически активный сложный эфир. [45]