The envelope theorem states that the change in the optimal value of a function with respect to a parameter can be found by partially differentiating the objective function while holding the choice variables at their optimal values. This allows you to calculate the effect of a parameter change on the maximum value of the function more easily than re-solving for the optimal choice variables. The theorem can be extended to cases with multiple choice variables.