who proved the Stern-Stolz theorem