Теорема Истина-Нилла