$. For $k=1$, formula (\[eq:pieruno\]) is trivially true. Let us prove it directly for $k=2$. For each $h\geq 0$, let us split sum (\[eq:prepier\]) as: $$\begin{aligned}
D_h(\epsilon^{i_1}\wedge\epsilon^{i_2})=\sum_{h_1+h_2=h}\epsilon^{i_1+h_1}\wedge\ep^{i_2+h_2}
={\cal P}+\overline{\cal P}.\label{eq:piercorr1}\end{aligned}$$ where $${\cal P}=\sum_{\matrix{_{i_1+h_1< i_2}\cr _{h_1+h_2=h}}}\ep^{i_1+h_1}\wedge\ep^{i_2+h_2} \quad {\rm and}\quad  
 \overline{\cal P}=  \sum_{\matrix{_{i_1+h_1\geq i_2}\cr _{h_1+h_2=h}}}\ep^{i_1+h_1}\wedge\ep^{i_2+h_2}.$$

One contends that $\overline{\cal P}$ vanishes. In fact, on the finite set of all integers $i_2-i_1\leq a\leq i_2-i_1+h$, define the bijection $\rho(a)=i_2-i_1+h-a$. Then: $$\begin{aligned}
&{}&2\overline{\cal P}=\sum_{h_1=i_2-i_1}^h\ep^{i_1+h_1}\wedge\ep^{i_2+h-h_1}+
\sum_{h_1=i_2-i_1}^h\ep^{i_1+\rho(h_1)}\wedge\ep^{i_2+h-\rho(h_1)}=\\ &=&\sum_{h_1=i_2-i_1}^h\ep^{i_2+h-h_1}\wedge\ep^{i_1+h_1}-\sum_{h_1=i_2-i_1}^h\ep^{i_1+h_1}\wedge\ep^{i_2+h_2}=0,\
$. For $ k=1 $, formula   (\[eq: pieruno\ ]) is trivially true. Let us prove it immediately for $ k=2$. For each $ h\geq 0 $, lease us split sum   (\[eq: prepier\ ]) as: $ $ \begin{aligned } 
 D_h(\epsilon^{i_1}\wedge\epsilon^{i_2})=\sum_{h_1+h_2 = h}\epsilon^{i_1+h_1}\wedge\ep^{i_2+h_2 } 
 = { \cal P}+\overline{\cal P}.\label{eq: piercorr1}\end{aligned}$$ where $ $ { \cal P}=\sum_{\matrix{_{i_1+h_1 < i_2}\cr _ { h_1+h_2 = h}}}\ep^{i_1+h_1}\wedge\ep^{i_2+h_2 } \quad { \rm and}\quad  
  \overline{\cal P}=   \sum_{\matrix{_{i_1+h_1\geq i_2}\cr _ { h_1+h_2 = h}}}\ep^{i_1+h_1}\wedge\ep^{i_2+h_2}.$$ 

 One contest that $ \overline{\cal P}$ vanishes. In fact, on the finite bent of all integers $ i_2 - i_1\leq a\leq i_2 - i_1+h$, define the bijection $ \rho(a)=i_2 - i_1+h - a$. Then: $ $ \begin{aligned } 
 & { } & 2\overline{\cal P}=\sum_{h_1 = i_2 - i_1}^h\ep^{i_1+h_1}\wedge\ep^{i_2+h - h_1}+ 
 \sum_{h_1 = i_2 - i_1}^h\ep^{i_1+\rho(h_1)}\wedge\ep^{i_2+h-\rho(h_1)}=\\ & = & \sum_{h_1 = i_2 - i_1}^h\ep^{i_2+h - h_1}\wedge\ep^{i_1+h_1}-\sum_{h_1 = i_2 - i_1}^h\ep^{i_1+h_1}\wedge\ep^{i_2+h_2}=0,\
$. Fog $k=1$, formula (\[eq:pieruno\]) is urivially true. Lej ys prote it djrectly wor $k=2$. For each $h\geq 0$, let us dpoit sym (\[eq:prepier\]) as: $$\begin{alkgned}
D_h(\epdilon^{i_1}\weege\eksilon^{i_2})=\sum_{h_1+h_2=h}\epsilon^{i_1+h_1}\wednz\ep^{i_2+h_2}
={\dwl P}+\mterline{\cal P}.\labgl{eq:piercorr1}\and{aligned}$$ whese $${\ccl P}=\sum_{\matrix{_{i_1+h_1< i_2}\cr _{h_1+h_2=h}}}\ep^{i_1+h_1}\wedge\ep^{i_2+h_2} \quad {\rk wnd}\quad  
 \overjine{\baj P}=  \sum_{\matrix{_{i_1+h_1\geq i_2}\cr _{h_1+h_2=h}}}\ep^{i_1+h_1}\wedge\ep^{j_2+h_2}.$$

One cmntends that $\pverline{\cal P}$ vanishes. In vact, on the finite set of all intgferf $i_2-i_1\leq a\leq k_2-i_1+h$, define the bijectikn $\rho(a)=i_2-i_1+h-a$. Then: $$\begin{aligned}
&{}&2\ovdrlinz{\cal P}=\sum_{h_1=i_2-u_1}^h\wp^{i_1+j_1}\fedge\ep^{i_2+h-h_1}+
\snm_{h_1=i_2-i_1}^h\vp^{i_1+\rho(h_1)}\wedge\ei^{p_2+h-\rho(h_1)}=\\ &=&\vum_{h_1=i_2-i_1}^h\rp^{i_2+h-h_1}\wedge\ep^{i_1+h_1}-\xum_{i_1=i_2-i_1}^h\wp^{i_1+h_1}\wedge\ep^{i_2+h_2}=0,\
$. For $k=1$, formula (\[eq:pieruno\]) is trivially us it directly $k=2$. For each sum as: $$\begin{aligned} D_h(\epsilon^{i_1}\wedge\epsilon^{i_2})=\sum_{h_1+h_2=h}\epsilon^{i_1+h_1}\wedge\ep^{i_2+h_2} P}+\overline{\cal P}.\label{eq:piercorr1}\end{aligned}$$ where P}=\sum_{\matrix{_{i_1+h_1< i_2}\cr _{h_1+h_2=h}}}\ep^{i_1+h_1}\wedge\ep^{i_2+h_2} \quad {\rm and}\quad P}= \sum_{\matrix{_{i_1+h_1\geq i_2}\cr _{h_1+h_2=h}}}\ep^{i_1+h_1}\wedge\ep^{i_2+h_2}.$$ One contends that $\overline{\cal P}$ vanishes. In fact, on finite set of all integers $i_2-i_1\leq a\leq i_2-i_1+h$, define the bijection $\rho(a)=i_2-i_1+h-a$. Then: &{}&2\overline{\cal \sum_{h_1=i_2-i_1}^h\ep^{i_1+\rho(h_1)}\wedge\ep^{i_2+h-\rho(h_1)}=\\
$. For $k=1$, formula (\[eq:pieruno\]) is triVially true. let us ProVe iT dIrecTly fOr $k=2$. For each $h\geq 0$, LEt us Split sum (\[eq:prepier\]) as: $$\begIn{aliGnED}
D_h(\ePSiLon^{i_1}\wEdge\epsILoN^{I_2})=\Sum_{H_1+h_2=H}\ePsiLoN^{I_1+h_1}\Wedge\Ep^{i_2+H_2}
={\cal P}+\ovErline{\cal P}.\LabEl{Eq:piercorr1}\enD{AlIgned}$$ where $${\Cal p}=\sum_{\matrix{_{i_1+h_1< I_2}\cr _{H_1+h_2=h}}}\ep^{i_1+H_1}\wEdgE\Ep^{i_2+h_2} \qUad {\Rm and}\Quad  
 \ovERline{\cAl P}=  \sum_{\matRiX{_{I_1+h_1\geq i_2}\CR _{h_1+h_2=h}}}\ep^{i_1+H_1}\WEdGe\ep^{I_2+h_2}.$$

One contends that $\OVeRLine{\cal P}$ vanishEs. In faCt, ON tHE FinIte Set of all inTeGers $i_2-I_1\Leq a\leq I_2-I_1+h$, DEFIne THe bijection $\rhO(a)=i_2-i_1+h-a$. Then: $$\bEGin{AligneD}
&{}&2\oVerLIne{\cal p}=\sum_{h_1=I_2-i_1}^H\Ep^{i_1+H_1}\wedge\ep^{i_2+h-h_1}+
\Sum_{h_1=I_2-i_1}^h\ep^{i_1+\rho(H_1)}\wedge\EP^{i_2+h-\rho(h_1)}=\\ &=&\SUm_{h_1=i_2-i_1}^h\eP^{i_2+h-h_1}\weDge\Ep^{i_1+H_1}-\sum_{H_1=I_2-i_1}^H\eP^{i_1+h_1}\WeDGe\eP^{I_2+h_2}=0,\
$. For $k=1$, formula (\[e q:pieruno\ ]) is  tr ivi al ly t rue.  Let us provei t di rectly for $k=2$. Foreach$h \ geq0 $,  letus spli t  s u m  (\ [e q: pre pi e r\ ]) as : $ $\begin {aligned}D_h (\ epsilon^{i_1 } \w edge\epsil on^ {i_2})=\sum_ {h_ 1+h_2= h} \ep s ilon^ {i_ 1+h_1 }\wedg e \ep^{i _2+h_2}
= {\ c al P}+ \ overlin e { \c al P }.\label{eq:pierc o rr 1 }\end{aligned} $$ whe re $$ { \ cal  P} =\sum_{\ma tr ix{_{ i _1+h_1< i_ 2 } \ cr_ {h_1+h_2=h}}} \ep^{i_1+h_ 1 }\w edge\e p^ {i_ 2 +h_2}\quad  { \ rmand}\quad 
 \o verline{\ cal P} =   \sum_ { \matrix {_{i_1 +h_ 1\g eq i _ 2} \c r _ {h _ 1+h _ 2= h}} } \ep ^{i_1+h_ 1} \w edge\ ep^{ i _ 2 + h_2} .$$ 

On e con tends that $\ ove rlin e {\c al P} $ van ishe s.  In f act, o n the  f inite set of al l in tegers $i _2- i_ 1\l eq  a\le q  i_2-i _1+ h$,  define  the bi j ect io n $ \r ho(a)=i_2-i_1+h-a$ .T h en : $$\beg in{ali g ne d} &{}&2\ov er lin e{\c a l  P}=\ sum_ { h_ 1=i_2-i_ 1}^h\e p ^{ i_ 1+h_1}\ we dge\ep ^{ i_2 +h- h_1}+ \sum _{h_1= i_2-i_1} ^h\ep ^ {i_1+\rho(h_1) } \wedge\ep^{i_ 2 +h - \ rh o (h_1 )}= \\ &=&\sum_ {h_1 = i_2- i_1} ^ h\ ep^ { i_2+h -h_1} \w e dg e \ep^{i_1+h_1}-\sum_ {h _1=i_2 -i_1} ^h\ep^{i_1+h_ 1}\wedge\e p ^ { i_2+h_2} =0,\ 
$. For_$k=1$, formula (\[eq:pieruno\])_is trivially true. Let_us prove_it_directly for_$k=2$._For each $h\geq_0$, let us_split sum (\[eq:prepier\]) as: $$\begin{aligned}
D_h(\epsilon^{i_1}\wedge\epsilon^{i_2})=\sum_{h_1+h_2=h}\epsilon^{i_1+h_1}\wedge\ep^{i_2+h_2}
={\cal_P}+\overline{\cal P}.\label{eq:piercorr1}\end{aligned}$$ where_$${\cal_P}=\sum_{\matrix{_{i_1+h_1< i_2}\cr _{h_1+h_2=h}}}\ep^{i_1+h_1}\wedge\ep^{i_2+h_2} \quad {\rm and}\quad  
 \overline{\cal P}=  \sum_{\matrix{_{i_1+h_1\geq i_2}\cr _{h_1+h_2=h}}}\ep^{i_1+h_1}\wedge\ep^{i_2+h_2}.$$

One_contends_that $\overline{\cal_P}$_vanishes._In fact, on the finite_set of all integers $i_2-i_1\leq_a\leq i_2-i_1+h$,_define the bijection $\rho(a)=i_2-i_1+h-a$. Then: $$\begin{aligned}
&{}&2\overline{\cal P}=\sum_{h_1=i_2-i_1}^h\ep^{i_1+h_1}\wedge\ep^{i_2+h-h_1}+
\sum_{h_1=i_2-i_1}^h\ep^{i_1+\rho(h_1)}\wedge\ep^{i_2+h-\rho(h_1)}=\\ &=&\sum_{h_1=i_2-i_1}^h\ep^{i_2+h-h_1}\wedge\ep^{i_1+h_1}-\sum_{h_1=i_2-i_1}^h\ep^{i_1+h_1}\wedge\ep^{i_2+h_2}=0,\