>>601
杉浦は置換積分をどういうレベルで証明している?
積分域の置換写像を絶対連続函数にまで拡張しているの?