結果 : state and explain source coding theorem