a≒bはわかる
c={数学者}
c≒bはいつだか証明されてた

つまり数学者はアニオタだったのか