高い目的というのは一例をあげれば完全性網羅性だ
引き算の答えがない場合があると知ると、複素数やその先まで理解しないと気が済まなくなる