From Scott's book Group Theory
$1.7.10.$ (Poincaré) The intersection of a finite number of subgroups of finite index is of finite index.
My question is: Did Poincaré prove the Theorem as stated above or something like that? I mean, was he interested in Group Theory or he proved something which resembles the theorem stated above
I would appreciate any suggestion.