De_Franchis_theorem loading ...