>>560
add(x,y)=x+y という2変数関数が連続であるから。
高校の範囲では厳密な証明は無理だろう。