>>900
その再定義ということが不可能であるってことが概ねわかってると考えていい