IMO олимпиада по математике 1995 года | Казахстанские олимпиады

Пусть ABCDEFABCDEF — выпуклый шестиугольник, в котором AB=BC=CDAB=BC=CD, DE=EF=FADE=EF=FA и BCD=EFA=60\angle BCD=\angle EFA=60{}^\circ . Пусть GG и HH — две точки внутри шестиугольника такие, что AGB=DHE=120\angle AGB=\angle DHE=120{}^\circ . Доказать, что AG+GB+GH+DH+HECF.AG+GB+GH+DH+HE\ge CF.