>>582
なら等号成立の言及はいらんだろうな