>>892
(a÷b)=(cあまりd)でパースしたら等号の推移律も成り立ってるように取れるけど
実際「"a÷b"の答えは"cあまりd"である」って解釈でそんな違和感ないし