Charles's theorem