теорема о перечислении

Мат. enumeration theorem