"k" が複素数体であれば、唯一の選択肢はこの可除環が複素数体となることである。