 More generally, 


These results are named for (1875–1946).It is sometimes referenced as the De Franchis-Severi theorem.It was used in an important way by Gerd Faltings to prove the Mordell conjecture.