Tietze Extension Theorem