Let S be an embedded k-sphere in Sn for which there exists a disk Dn⊂Sn intersecting S in the disk Dk⊂Dn defined by the first k coordinates of Dn. Let Dn−k⊂Dn be the disk defined by the last n−k coordinates, with boundary sphere Sn−k−1. Show that the inclusion Sn−k−1↪Sn−S induces an isomorphism on homology groups.