結果 : source coding theorem proof