Template:T.i.

satisfies metaproperty::t.i. subgroup property