И задължително [tex]a\ne 0[/tex]! Въпреки, че то си следва от предишното, но все пак теорията, която Ганка е написала е изведена за квадратен тричлен, а когато а-то е нула, той не е такъв.
Естествено, иначе, ако а=0 няма да имаме два корена (или ще имаме един, или безбройно много, или няма да имаме решение). Освен това, условието [tex]a.f(m)<0[/tex] предполага, че [tex]a\ne 0[/tex]