>>54なのですが、
任意に元をＨ∩Ｋからとってきて、ｘ、ｙとおくと
ｘ∈Ｈ∩Ｋより
ｘ∈Ｈであって Ｈは部分群だからｘ^(-1)∈Ｈ

ｘ∈Ｋであって Ｋは部分群だからｘ^(-1)∈Ｈ

よってｘ^(-1)∈Ｈ∩Ｋ

同様に
ｘｙ∈Ｈ∩Ｋ
よってＨ∩Ｋも部分群


これは正しいですか？