結果 : source coding theorem 2