>>903
要するに超準解析というのは、初等幾何
における、補助線のようなものなのだな?