じゃ、>>544 の「省略× > ÷」を式で表すとどうなる?