Maybe it's better to write his equation as ae² - ce + b = 0. The proof would say that e isn't degree ≤ 2 over the rationals.