Gleason–Prange theorem