EDB — 1XH

[1XH] Prove by induction that the sum of the internal angles of a polygon with \(n≥ 3\) sides, is \((n-2)𝜋\).

(The proof is easy if the polygon is convex; in the general case [0JN]↺↻ can be useful).