0でないn個の複素数の集合A={z1,z2,…,zn}が乗法について閉じているとき、Aは群になることを証明せよ。また、任意のAの元zに対してz^m=1(m≦n)となる正の整数mが存在することを証明せよ。