むしろ>>94の引き算の定義を知りたい。