# An inequality for conformal maps from Ahlfors

I'm reading "Lectures on Quasiconformal Mappings" by Lars Ahlfors. On page 16, while proving a lemma, he states two inequalities without justification. I would like to know why these inequalities hold.

The Cauchy-Schwarz inequality has been the key to several other inequalities so far, but I don't see how to apply that here. Thanks in advance for any help!

$$\int\int_Q \rho^2 - 1 = \int\int_Q \rho^2 - \int\int_Q 1 = \int\int_{Q_1} \rho^2 + \int\int_{Q_2} \rho^2 - \int\int_Q 1 = |Q_1'| + |Q_2'| - |Q| = |Q'| - |Q| = 0,$$
where $|\cdot|$ denotes the measure of the set.
The second inequality is because $$\int\int_Q \rho -1 = \int_0^1\int_0^m (\rho - 1) dx dy,$$
and $\int_0^m \rho dx$ gives the length of the image of a horizontal segment connecting the two vertical sides of $Q$, which will be at least $m$.