. . "If L is a field and K its algebraic closure and if 1< [K:L] < infinity then L=K[i] and L is a real closed field (Thus L has characteristic 0." . . .