Утверждения,которые выводятся непосредственно из аксиом или теорем,называются следствиями.
Если прямая пересекает одну из двух параллельных прямых,то она пересекает и другую.
Доказательство: Пусть прямые <em>a</em> и параллельны и прямая <em>с</em> пересекает прямую <em>а</em> в точке М.Докажем,что прямая <em>с</em> пересекает и прямую <em>b</em>.Если бы прямая <em>с</em> не пересекала прямую <em>b</em>, то через точку <em>М</em> проходили бы две прямые(прямые <em>а</em> и <em>с</em>),параллельные прямой <em>b</em>.Но это противоречит аксиоме параллельных прямых , и, значит, прямая <em>с</em> пересекает прямую <em>b</em>.