Tietze extension theorem