Симметрические линейные пространства графов

Рассматриваются множества графов, замкнутые относительно симметрической разности и переименования вершин. Доказывается, что при любом $n$ имеется не более 14 таких множеств, состоящих из графов с $n$ вершинами.