The Envelope Theorem (student stuff)