縮小すれば、インデックスにもなる。

縮小すれば、インデックスにもなる。