Page "Compact group#An outline of the proof" not found :(