Twierdzenie o równoległości prostych

Dwie proste o równaniach $y=a_1x+b_1$y=a_1x+b_1 oraz $y=a_2x+b_2$y=a_2x+b_2, gdzie $a_1\neq0$a_1\neq0 i $a_2\neq0$a_2\neq0 są równoległe wtedy i tylko wtedy, gdy $a_1=a_2$a_1=a_2.