The coarea formula for projections of Lipschitz mappings on Carnot groups

A special type of coarea inequality is proved for compositions of intrinsically Lipschitz mappings of Carnot groups with projections along horizontal vector fields. It is proved that the equality is achieved for mappings with finite codistortion and mappings on the Heisenberg group.