xy^(-1) ∈H∩K
だけでおkよ
xx^(-1)=e ∈H∩Kが示せてることになるから�