結果 : source conversion theorem