結果 : state source coding theorem