結果 : total variation theorem