Template:First-order subgroup property