Wikipedia
Freiheitssatz
In mathematics, the Freiheitssatz ( German: "freedom/independence theorem": Freiheit + Satz) is a result in the presentation theory of groups, stating that certain subgroups of a one-relator group are free groups.