R* := nonzero real numbers
R+ := positive real numbers


R+가 R*의 유일한 maximal subgroup임을 보이고 싶어요.