Proof of Gibbs' Hypothesis on the Tendency toward Statistical Equilibrium.