Re
Pour montrer la densité de IU n Q[i] dans IU , considérons pour tout p dans IN* , Z_p = ( ( p²-1) + 2ip ) / ( p²+1 ) on a Z_p est un élement de IU n Q[i] Z_ p -> 1 lorsque p -> +oo ,
si z appartient à IU alors
d ( z ,IU n Q[i] ) <= d ( z , { ( Z_p )^k , k dans Z } ) <= l 1 - Z_p l / 2
ce qui acheve la démonstration