Shephard’s Lemma simply applies the envelope theorem to the expenditure function. Specifically, we can take the derivative of the expenditure function with respect to a parameter in the system (here Px) as we would take the derivative w.r.t. any variable, if the variables are at their optimal values. Here