Similarly, the free group Fn has pn − 1 subgroups of index pp.
同様に、自由群 Fn は pn − 1 個の指数 p の部分群をもつ。