等号は反射律が成り立つように定義されてるから、この人は等号の重大な特徴を改めて見直させてくれたな