\[Допустим,\ что\ данные\ прямые\ \]
\[не\ совпали.\]
\[По\ основному\ свойству\ \]
\[прямых\ через\ любые\ две\]
\[точки\ можно\ провести\ только\ \]
\[одну\ прямую.\]
\[Значит,\ сторона\ линейки\ не\ \]
\[является\ прямой.\]