Proper mappings, finiteness theorems Holomorphic mappings mathematics