Global Ideal Generation on Stein Manifolds analysis Hörmander $L^2$ Estimate for $(0,1)$-Forms analysis Kodaira Projectivity Criterion analysis Regular Value Theorem analysis Weyl Equidistribution for Irrational Rotations analysis Skoda Nullstellensatz Consequence analysis Nadel Coherence Theorem analysis De Rham Cohomology of a Compact Connected Oriented Surface analysis