>>480 f,u,vは全てxの関数でかつ点aで連続が必要じゃない？
反例
f(x):=x 0≦x<a
f(x):=0 x=a
u(x):=x 0≦x≦a
v(x):=x 0≦x≦a
>>483はつり？？