過去にもいたよね、方程式の解が実数でないものを認めようとしたり
小さい数から大きな数を減じてみようとしたり。