If "g" is a bihomolorphism defined on "U" and "g"("V") ⊆ "U", "S"("f" ∘ "g") and "S"("g") are quadratic differentials on "U"; moreover "S"("f") is a quadratic differential on "V", so that "g""S"(f) is also a quadratic differential on "U".