La intersección tiene índice finito en los enteros, y por lo tanto en cada uno de los subgrupos.