By Federer's structure theorem (see, e.g., [1]} and [2]}), if \(E\in \mathcal {C}^n\) , then \(\partial ^{\ast }E\subset \partial ^M E\)  and \(\mathcal {H}^{n-1}(\partial ^ME-\partial ^{\ast }E)=0\) .
