https://123dok.net/document/yj711dmy-homotopy-set-bπ-finite-compact-connected-lie-group.html