Дискротека: Теорема о включениях-исключениях.