[ 7171 ] - W. RUDIN.