結果 : state source coding theorem with example