>>674

surjectivityとbijectivityの証明がダメ