Proof of Page's conjecture on the average entropy of a subsystem.