K=代数的数体の場合もC/Kは超越拡大