別の応用として、複素数体cの部分体で(体として)cと同型であるような真の部分体が(たくさん)存在することを示す。