Removed 'Huge Todo', what remains is the completion of facts about union of a subgroup of a factor group.