逆像をどんどんととっていくと、次第に定義域や値域が狭くなるように思えるのですが、狭くなるのは、最初に返した時だけになるのでしょうか？