部分群の例と部分群であるための必要十分条件とその系を追加