結果 : source coding theorem shannon