Redirecting to Tietze extension theorem