теорема об объединении сомножителей