絶対値1の複素数は積の演算に関して群を形成することを証明せよ