結果 : explain source coding theorem