If G is a finite group, let H be a subgroup of G, and N a normal subgroup of G, and |N| and |(G:H)| are relatively prime, then show that H is a subset of N if and only if |H| divides |N|.
I'm pretty lost in this problem, would I have to use the property of module here?
Thank you.