Root system inner product is the Killing form. The cosine of the angle between two roots is constrained to be a half-integral multiple of a square root of an integer. This is because formula_32 and formula_33 are both integers, by assumption, and formula_34 Since formula_35, the only possible values for formula_36 are formula_37 and formula_38, corresponding to angles of 90°, 60° or 120°, 45° or 135°, 30° or 150°, and 0° or 180°. Condition 2 says that no scalar multiples of "α" other than 1 and -1 can be roots, so 0 or 180°, which would correspond to 2"α" or −2"α", are
Angular defect to less than 360°, on a spherical triangle the interior angles always add up to more than 180° (the exterior angles add up to "less" than 360°), and the angles in a hyperbolic triangle always add up to less than 180° (the exterior angles add up to "more" than 360°). In modern terms, the defect at a vertex or over a triangle (with a minus) is precisely the curvature at that point or the total (integrated) over the triangle, as established by the Gauss–Bonnet theorem. For a polyhedron, the defect at a vertex equals 2π minus the sum of all