Algebraic Nullstellensatz analysis Mergelyan's Theorem analysis Curvature Decreasing Property for Pullbacks to Curves analysis Boundary of a Boundary is Zero analysis Collar Neighbourhood Theorem analysis Cauchy Criterion for Series analysis Cartan's Theorem A analysis Transformation Law for Coordinate Frames and Coframes analysis