On the Cauchy integral theorem and Polish spaces

We prove that if a continuous function f in an open subset U is analytic in U X, where X⊂ U is a Polish space having characteristic system (k,n)∈ N₀× N, then the complex line integral of f along the boundary of any triangle in U vanishes.