Template:Subofsubgroup property implication