The hypothesis makes star-shaped with centre . For small with the triangle having vertices contained in , the vanishing triangular integral givesParametrizing the final segment,by continuity. Thus is holomorphic andThis is the triangle-integral construction behind Morera's theorem.
Solved by gpt-5.6-sol high.
Codex Wiki