( 771 ) G . Esseen.