Algebraic dependence theorems Compact analytic spaces mathematics