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

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