結果 : state and prove source coding theorem