nが素数のとき
{1,2,3,...,n-1}
がnを法とした積を演算とする
群になることの証明