Gleason's theorem on extremally disconnected saces

Only one direction of the theorem.
Tags: added new tags
small change in categories, initial and final objects