Talk:Tower Law for Subgroups

It appears that Proof 2 applies only to finite groups. Should there be an indication in the title of that proof that such is the case? --Lord_Farin 15:24, 2 August 2012 (UTC)