いや陰関数定理や変数変換公式の証明を理解しているなら大したもの
実際には実数論で足踏みしてるレベル