Includes bibliographical references: pp. 4003-4004.