Results in computer science via the Stepanov method
This may be too obvious, but the correctness proof of the Schwartz-Zippel randomized algorithm for polynomial identity testing uses essentially just this fact, plus induction.