  The Parameter Continuation Theorem is the theoretical foundation for
polynomial homotopy continuation, which is one of the main tools in
computational algebraic geometry. In this note, we give a short proof using
Gr\"obner bases. Our approach gives a method for computing discriminants.
