>>203
数値解析で何を証明するというのだ。