Category:Subgroup-of-subgroup property implications