Cтраница 2
Индуктивное построение fl ( A) будет дано в процессе доказательства следующего предложения. [16]
В ходе доказательства устанавливается справедливость двух взаимно обратных предложений: 1) что всякая точка найденной ( в анализе) фигуры обладает характеристическим свойством точек искомого ГМТ и 2) что каждая точка, обладающая указанным характеристическим свойством, принадлежит найденной при анализе фигуре. Полезно иметь в виду, что доказательство предложения 2) может быть заменено доказательством следующего предложения 2): если какая-либо точка не принадлежит найденной фигуре, то она не обладает указанным характеристическим свойством. [17]
Q, то и в любой подобласти Q с: Q она является о. Настоящий пункт посвящен доказательству следующего предложения. [18]