In the field of FIR filter analysis, it is known that the frequency response of a FIR filter, as any complex number, can be expressed as
H(f) = |H(f)|.exp(j.A(H(f))),
where |.| is the modulus (a continuous function), and A(.) is the argument (a piecewise continuous function). On the other hand, it is known that this expression can be rewritten as
H(f) = H_r(f).exp(j.\phi(f)),
where H_r is a real continuous function, and \phi(f) is (at least) a C1 function. Which theorem is involved in this equivalence?