1: \begin{abstract}

2: A special type of coarea inequality is proved for compositions of

3: Lipschitz mappings of Carnot groups with projections along

4: horizontal vector fields. It is proved that the equality is

5: achieved for mappings with finite codistortion and mappings on

6: the Heisenberg group.

7: 

8: \emph{Keywords}: Carnot group, coarea formula,

9: Eilenberg inequality.

10: 

11: \emph{2010 Mathematics Subject Classification}:

12: 22E30,  % Analysis on Lie groups

13: 58C35,  % Integration on manifolds

14: 28A75.  % other geometric measure theory

15: \end{abstract}

16: