А на эту лемму есть вот такая прикольная задача с финала ЮМТ. Надо доказать, что вот такое отношение не зависит от выбора шестиугольника понселе. Ну и конечно обобщается на 2n-угольник.