Tietze transformation

Summary