проведения прямых на плоскости:
Аксиома 1: по трём точкам
Следствие 1: по прямой и не лежащей на ней точке
Следствие 2: по двум пересекающимся прямым
По определению параллельных прямых: по двум параллельным прямым
