リー代数根の定義、存在、および性質