是群,在s上定义"."证明群