>>369-370
1ははいらないんじゃね？xiに0を代入する写像できえないじゃん。