История изменений

ты переносиш свойство из плоскости 0-кривизны.

ЕСЛИ у двух(1ой и 2ой) прямых найдётся такая(такое место где) секущая( третья прямая) что внутрении одностороние углы равны друг другу и прямы ТО прямые параллельны(т.е лежат в одной плоскости(т.е через любую пару(различных) точек 1ой прямой и через любую пару(различных) точек 2ой прямой можно провести плоскость) и не имеют общей точки) и наоборот.

для сферы(в частности) этого тождества нет

т.е вы расширяете контекст , и требуете (A== не A) и (A cуществует) на основе того что

если при B С==D ТОГДА при каком угодно B С==D

ты переносиш свойство из плоскости 0-кривизны.

ЕСЛИ у двух(1ой и 2ой) прямых третьей прямой внутрении одностороние углы равны друг другу и прямы ТО прямые параллельны(т.е лежат в одной плоскости(т.е через любую пару(различных) точек 1ой прямой и через любую пару(различных) точек 2ой прямой можно провести плоскость) и не имеют общей точки) и наоборот.

для сферы(в частности) этого тождества нет

т.е вы расширяете контекст , и требуете (A== не A) и (A cуществует) на основе того что

если при B С==D ТОГДА какое при каком угодно B С==D