# Help me parse the logic of this statement

by Poopsilon
Tags: logic, parse, statement
 P: 294 So I have this statement that I'm supposed to prove and I cannot for the life of me figure out what parts I'm allowed to assume and what part I am expected to prove, here it is: The residue of an analytic function f at a singularity a ∈ ℂ is the uniquely determined complex number c, such that the function $$f(z) - \frac{c}{z-a}$$ admits a primitive in a punctured neighborhood of the point a. (end statement) I know I'm allowed to assume that f is analytic with a singularity at a, but beyond that I just can't tell if it's a biconditional I have to prove, or if it's just a conditional and if so which way. Thanks