"inverse of connecting branch of" . "has connecting branch" . . . .