ax=ayのときx=yである。