https://123dok.net/document/zgw3gmny-subgroup-induction-property-for-branch-groups.html