Cтраница 3
Аналогично доказываются остальные утверждения леммы. [31]
Для доказательства остальных утверждений заметим, что если множество А поглощающе, то множество ос 0: ат1х А ] непусто. [32]
Ввиду того что остальные утверждения нашей процедуры относятся к состояниям для всех месяцев года, исключая декабрь, утверждение для особого состояния должно стоять первым. Отсечение гарантирует исключительность данного утверждения по отношению к остальным двум: есть лишь один правильный способ обработки декабря. [33]
Сходным образом устанавливаются и остальные утверждения. [34]
Так же доказываются и остальные утверждения. [35]
Так же доказываются п остальные утверждения. [36]
Так же легко доказать и остальные утверждения. [37]
Подобным же образом работайте с остальными утверждениями, постепенно заполняя весь бланк. [38]
Истинность аксиом принимается без доказательства; все остальные утверждения ( теоремы) с помощью логических рассуждений выводятся из аксиом. Понятия, участвующие в утверждениях, также разделяются на два типа - основные ( исходные) понятия, принимающиеся без определений, и производные понятия, которые должны быть определены через исходные. [39]
Я - поглощающее, предоставляя элементарную проверку остальных утверждений читателю. [40]
Исключив утверждение ( О), мы из остальных утверждений без труда найдем, как распределились места между шестью ко - мандами. После того как мы исключим утверждение ( 6), все ос тальиые утверждения не будут приводить к каким-либо противо речиям. Это показывает, что утверждение ( 6) действительно было ложным. [41]
Ап ( гл) вытекает из следствия 2, остальные утверждения следуют из определений. [42]
Существование обратного отображения вытекает из леммы 6.3.1. Теперь мы проверим остальные утверждения. [43]
Отсюда мы получаем утверждение о структуре группы Nx, а остальные утверждения о структурах из § 7 легко выводятся из этого. [44]
В произвольных топологических пространствах из 4) не следует 3), а все остальные утверждения имеют место. [45]