：√实数域二次扩张的唯一性如果整环F是一个二维实向量空间，那么F中的每个非零元素可逆