Теорема Атьи – Сигала о пополнении