Теорема 1 (свойства счетных множеств).