C^×を0以外の複素数からなる乗法群
a≠0を絶対値が1未満の複素数とし、Hをaが生成するC^×の部分群とする
剰余群C^×/Hは複素トーラスになることを示せ