という関係が成り立つから、ある数からを引く演算は、