結果 : source encoding theorem