Siegel–Ramachandra invariants generate ray class fields

Let f be a modulus in an imaginary quadratic field K , and C a ray class mod f . We denote by g f ( C ) the Siegel–Ramachandra invariant. Suppose that, roughly speaking, f is sufficiently large. Then we will show that K ( g f ( C ) ) is the ray class field of modulus f .