What is the fine-grained topic of the following text: We prove the algorithm correct by showing that for densely sampled surfaces, where density depends on "local feature size", the output is topologically valid and convergent (both pointwise and in surface normals) to the original surface. Only return the topic.
Proof of Algorithm Correctness for Densely Sampled Surfaces