Conversely if Γ is flat it is uniquely determined by "A": a biholomorphism on "U" is contained in Γ in if and only if the power series of lies in "A" for every in "U": in other words the formal power series for at is given by an element of "A" with replaced by ; or more briefly all the jets of "f" lie in "A".