 If a candidate solution satisfies the first-order conditions, then the satisfaction of the second-order conditions as well is sufficient to establish at least local optimality.The envelope theorem describes how the value of an optimal solution changes when an underlying parameter changes.The process of computing this change is called comparative statics.