tietzes extension theorem