  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.
