最低限、「微分形式あるいは超準解析でこの部分は証明されるが、ここでは形式的に
このように取り扱う…直観的に扱えるから便利だ」なんつー文が必要なのでは？