Result R3456: Holomorphic function on open disc has primitive on that disc shows that $f$ has a primitive $F : D \to \mathbb{C}$ on $D$. The claim is now a consequence of results

(i)	R1522: Holomorphic function is continuous
(ii)	R1564: Oriented complex curve integral of continuous function with a primitive on open set

$\square$