Gleason's theorem on extremally disconnected saces

Only one direction of the theorem.
Tags: added new tags