超準解析でも、st.x＝0∧x≠0については上手くいくが、
真の0では割れないことに変わりはないからな。
かえって、環論の範囲で「0はある」がFAでいいのでは？