Re:>>536 一変数なら微分可能なら導函数は連続になる.
Re:>>544 x-y=x+(-y).二項定理はどこかに解説があるだろう.