theorem that a continuous complex‐valued function on an open set in the complex plane whose contour integral on any closed piecewise‐𝒞¹ curve vanishes must be holomorphic
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).