I've read that every finitely generated one relator group embeds in a two generator one relator group, and that this fact follows from the Freiheitssatz.
Unfortunately, the only proof I can find of this fact applies B.H. Neumann's proof for denumerable n-relator groups, and it doesn't seem to use the Freiheitssatz. Further, I haven't found any mention of this in Lyndon and Schupp, but it's possible I overlooked a more general theorem from which this follows.
My question is: does this fact truly follow from the Freiheitssatz? Is the proof trivial? I apologize if it is; unfortunately I am new to one relator groups.