The result was proved by Armand Borel (1956).
Armand Borel (1956) によって証明された。