Ở Hình 4, có 6 tam giác đều là OAB, OBC, OCD, ODE, OEG, OGA.

Tam giác đều OAB có OA = OB; Tam giác đều OBC có OB = OC;

Tam giác đều OCD có OC = OD; Tam giác đều ODE có OD = OE;

Tam giác đều OEG có OE = OG; Tam giác đều OGA có OG = OA.

Từ đó, suy ra OA = OB = OC = OD = OE = OG.