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