複素半単純リー代数とルート系間の一対一対応