  The main result includes as special cases on the one hand, the
Gerstenhaber--Rothaus theorem (1962) and its generalisation due to Nitsche and
Thom (2022) and, on the other hand, the Brodskii--Howie--Short theorem
(1980--1984) generalising Magnus's Freiheitssatz (1930).
