К проблеме Рейнхардта решетчатых упаковок выпуклых площадок. Локальная экстремальность восьмиугольника Рейнхардта

Доказана теорема, сформулированная в заглавии.