Why it works: Śūnyaṃ Sāmyasamuccaye

If f(x) = g(x) and both sides have the form where a common factor $x+k$ appears in the sum of terms, then $x+k=0$ is a root. This catches algebraic structure that makes one term vanish.