Теорема Шеннона про кодування джерела