Twierdzenie o kącie nachylenia prostej do osi OX

Prosta $y=ax+b$y=ax+b jest nachylona do osi $OX$OX pod kątem $\alpha\in[0^\circ ,180^\circ )\setminus\{90^\circ \}$\alpha\in[0^\circ ,180^\circ )\setminus\{90^\circ \}, takim że $\tg\alpha=a$\tg\alpha=a.