Proof: S (or entropy) is a valid state variable

Proof that S (or entropy) is a valid state variable. Created by Sal Khan.