Помогите оформить мою теорию о пересекающихся параллельных прямых программно в Pascal

[type_Oleg]

Сообщение от Artchi

.. Перельман тоже доказал теорему Ферма. Его же не осуждают.

А что, Перельман нарушал принятую аксиоматику ?
Никто же не говорил , что теорему Ферма невозможно доказать, потому что она неверна.

Так что Перельман действовал в пределах принятых в математике ( в топометрии ) аксиом.

[Artchi]

Так я так же не нарушаю. Просто хочу вывести то, что не общепринято.

[type_Oleg]

Если не нарушаете, то значит вы согласны с определением отсюда:
В евклидовой геометрии параллельными прямыми называются прямые, которые лежат в одной плоскости и либо совпадают, либо не пересекаются. (Иногда совпадающие прямые не считаются параллельными, в данной статье такое определение не рассматривается).
То есть просите помочь доказать, что непересекающиеся прямые пересекаются?
Причем на Паскале..