3 * * Professor W. Rudin.