Branching points area theorems for univalent functions

Area theorems of a new type are obtained by considering branching point compositions with univalent functions. Such theorems can be formulated both in the form of integral estimates and in the form of Grunsky and Goluzin-type inequalities.