Мозаики из выпуклых пятиугольников

Обсуждается задача классификации пятиугольников, копии которых покрывают плоскость ребро к ребру. Доказывается, что в любом таком покрытии плоскости имеется пятиугольник, набор степеней вершин которого один из следующих: (3,3,3,3,3), (3,3,3,3,4), (3,3,3,3,5), (3,3,3,3,6), (3,3,3,4,4). Это дает возможность организовать перебор, который в конечном счете приводит к исчерпывающей классификации таких пятиугольников.