群Gの部分集合H(≠Φ)がGの部分群であるための必要十分条件は、a∈H,b∈H⇒ab^(-1)∈Hが成り立つことを証明するには、何を言ったらよいのか…。教えてください