>>819

訂正
えーと、１より大の任意の実数の部分集合から生成される群の議論が抜けているね

で、７と８の間に１行追加
７−１．さらに、この論法は、１より大の任意の実数の部分集合から生成される二つの群の比較に拡張できる