Tower_Law_for_Subgroups