There's a a^2 - ab ≠ 0 missing somewhere, I think Wink

(by the way, I suck at math)