結果 : source coding theorem statement