 If we know

for some fixed and some , then .For , a -quasiconformal mapping is a homeomorphism such that

where is the derivative of at and is the Jacobian.A theorem of Gehring states that for all -quasiconformal functions , we have , where depends on .