tietze function

Tietze form for free group objects