I got stuck with this question - G is a group with subgroups H and K of index m and n respectively. I need to prove that
lcm(n,m) <= [G:K ∩ H] <= mn
for finite groups it's just using Lagrange theorem, but I don't know how to translate it to the infinite case.