結果 : shannon source coding theorem proof