>>481fは単射じゃないのだからgはwell-definedにならないんじゃないの?