}^R_1(R/I, R/J) = 0$ and then reduce to this case by induction on $l$. Consider the exact sequence of $R$-modules $$0 \ra J \ra R \ra R/J \ra 0$$ and apply $\operatorname{Tor}^R_\bullet(R/I,-)$. As $R$ is flat, $$\operatorname{Tor}^R_1(R/I, R/J) = \ker \left(R/I\otimes_R J \ra R/I\right) = \frac{I\cap
        J}{IJ}.$$

We argue by induction on $l$ that this is zero: For $l=1$, $x\in I\cap J$ implies $x=\lambda s_1 = s_1\lambda \in I$, so $\lambda=0$ in $R/I$, so $\lambda\in I$ and hence $x\in IJ$. Denote with $J'$ the ideal generated by $s_1,\dots,s_{l-1}$. By induction $I\cap J'=IJ'$. Let $x\in I\cap J = I\cap (J'+s_lR)$, so $x= a+s_lb$ with $a\in J'$ and $b\in R$. Clearly $s_l b=0$ in $R/(I+J')$, so $b\in I+J'$ by regularity of the sequence and hence $$I\cap J = I\cap (J'+s_lR) = I \cap (J' + s_l(I+J')) = I \cap (J'
      + s_lI) = I\cap J' + I\cap s_l I$$ as $s_lI\subseteq I$. Now $I\cap J' + I\cap s_l I = IJ' +s_l I = I(J'+s_lR) = IJ$, and this was to be shown.

We now argue by induction on $l$ that $\operatorname{Tor}^R_q(R/I,R/J)=0$ for all $q>0$. For $l=1$ we have the free resolution $$0 \ra R {  {\mathop{\ra}\limits^{\vbox to -5\ex@{\kern-\tw@\ex@
   
} ^R_1(R / I, R / J) = 0 $ and then reduce to this case by induction on $ l$. think the accurate sequence of $ R$-modules $ $ 0 \ra J \ra R \ra R / J \ra 0$$ and lend oneself $ \operatorname{Tor}^R_\bullet(R / I,-)$. As $ R$ is compressed, $ $ \operatorname{Tor}^R_1(R / I, R / J) = \ker \left(R / I\otimes_R J \ra R / I\right) = \frac{I\cap 
         J}{IJ}.$$ 

 We argue by induction on $ l$ that this is zero: For $ l=1 $, $ x\in I\cap J$ incriminate $ x=\lambda s_1 = s_1\lambda \in I$, indeed $ \lambda=0 $ in $ R / I$, thus $ \lambda\in I$ and hence $ x\in IJ$. Denote with $ J'$ the ideal generated by $ s_1,\dots, s_{l-1}$. By trigger $ I\cap J'=IJ'$. Let $ x\in I\cap J = I\cap (J'+s_lR)$, so $ x= a+s_lb$ with $ a\in J'$ and $ b\in R$. distinctly $ s_l b=0 $ in $ R/(I+J')$, therefore $ b\in I+J'$ by regularity of the sequence and hence $ $ I\cap J = I\cap (J'+s_lR) = I \cap (J' + s_l(I+J') ) = I \cap (J' 
       + s_lI) = I\cap J' + I\cap s_l I$$ as $ s_lI\subseteq I$. Now $ I\cap J' + I\cap s_l I = IJ' + s_l I = I(J'+s_lR) = IJ$, and this was to be shown. 

 We now argue by initiation on $ l$ that $ \operatorname{Tor}^R_q(R / I, R / J)=0 $ for all $ q>0$. For $ l=1 $ we have the free resolution $ $ 0 \ra radius {   { \mathop{\ra}\limits^{\vbox to -5\ex@{\kern-\tw@\ex@
}^R_1(R/I, R/J) = 0$ and then reduce to this case by iueuctioi on $l$. Donsider the exact sequence of $R$-modupew $$0 \ra J \ra R \ra R/J \ra 0$$ and xpply $\opegatorname{Ror}^R_\uullet(R/I,-)$. As $R$ is flat, $$\opcxatorhwme{Tmc}^R_1(R/I, R/J) = \ker \lent(R/I\otimes_R J \ra R/I\right) = \ffae{I\cap
        J}{IJ}.$$

We argue by inductiog on $l$ yhwt this is zerj: Fog $j=1$, $x\ih I\cap J$ implies $x=\lambda s_1 = s_1\lambdz \in I$, vo $\lambda=0$ in $T/I$, so $\lambda\in I$ and hence $x\in IJ$. Denote with $J'$ hhe ideal ggherwred by $s_1,\dots,r_{l-1}$. By indubcion $I\cap J'=JJ'$. Let $x\in I\cap J = I\cap (J'+s_lR)$, so $x= a+s_kb$ with $a\ib H'$ ajg $b\in R$. Cleerly $s_j b=0$ in $R/(I+J')$, so $b\in I+J'$ by regilarity of the sexuebce and hence $$I\cap J = I\cap (J'+s_lR) = I \cap (T' + s_l(I+J')) = H \eap (J'
      + s_lI) = I\cap J' + I\cak s_l H$$ as $w_lI\rubaeveq I$. Now $I\cep J' + I\cap a_l I = IJ' +s_l I = I(J'+s_lR) = IJ$, and tnif was to be shkwn.

We gor argue by induction on $l$ that $\operatortams{Tor}^R_q(R/I,R/J)=0$ for all $q>0$. Foe $l=1$ we have the free tesolution $$0 \ra R {  {\mathop{\ra}\limits^{\vbox to -5\ex@{\kern-\tw@\ex@
   
}^R_1(R/I, R/J) = 0$ and then reduce case induction on Consider the exact J R \ra R/J 0$$ and apply As $R$ is flat, $$\operatorname{Tor}^R_1(R/I, R/J) \ker \left(R/I\otimes_R J \ra R/I\right) = \frac{I\cap J}{IJ}.$$ We argue by induction on that this is zero: For $l=1$, $x\in I\cap J$ implies $x=\lambda s_1 = \in so in so $\lambda\in I$ and hence $x\in IJ$. Denote with $J'$ the ideal generated by $s_1,\dots,s_{l-1}$. By $I\cap J'=IJ'$. Let $x\in I\cap J = I\cap so $x= a+s_lb$ with J'$ and $b\in R$. Clearly b=0$ $R/(I+J')$, so I+J'$ regularity the sequence and $$I\cap J = I\cap (J'+s_lR) = I \cap (J' + s_l(I+J')) = I \cap (J' + s_lI) I\cap J' s_l I$$ $s_lI\subseteq Now J' + I\cap = IJ' +s_l I = I(J'+s_lR) this was to be shown. We now argue induction on that $\operatorname{Tor}^R_q(R/I,R/J)=0$ for all $q>0$. For we have the free resolution $$0 \ra R {\mathop{\ra}\limits^{\vbox to -5\ex@{\kern-\tw@\ex@
}^R_1(R/I, R/J) = 0$ and then reduce to this cAse by inducTion oN $l$. COnsIdEr thE exaCt sequence of $R$-mODuleS $$0 \ra J \ra R \ra R/J \ra 0$$ and apply $\oPeratOrNAme{TOR}^R_\BulleT(R/I,-)$. As $R$ iS FlAT, $$\OpeRaToRnaMe{tOr}^r_1(R/I, R/J) = \Ker \Left(R/I\oTimes_R J \ra R/i\riGhT) = \frac{I\cap
        J}{IJ}.$$

wE aRgue by induCtiOn on $l$ that thiS is Zero: FoR $l=1$, $X\in i\Cap J$ iMplIes $x=\lAmbda s_1 = S_1\Lambda \In I$, so $\lambDa=0$ IN $R/I$, so $\lAMbda\in I$ AND hEnce $X\in IJ$. Denote with $J'$ tHE iDEal generated by $S_1,\dots,s_{L-1}$. BY InDUCtiOn $I\Cap J'=IJ'$. Let $x\In i\cap J = i\Cap (J'+s_lR)$, SO $x= A+S_LB$ wiTH $a\in J'$ and $b\in R$. CLearly $s_l b=0$ in $r/(i+J')$, sO $b\in I+J'$ By RegULarity Of the SeQUenCe and hence $$I\Cap J = i\cap (J'+s_lR) = I \Cap (J' + s_l(i+j')) = I \cap (J'
      + s_Li) = I\cap J' + I\Cap s_l I$$ As $s_LI\sUbseTEq i$. NOw $I\CaP j' + I\cAP s_L I = Ij' +S_l I = i(J'+s_lR) = IJ$, aNd ThIs was To be SHOWN.

We nOw aRgue By indUction on $l$ that $\OpeRatoRNamE{Tor}^R_Q(R/I,R/J)=0$ For aLl $Q>0$. For $l=1$ We have The frEe Resolution $$0 \ra R {  {\maThop{\Ra}\limits^{\vBox To -5\Ex@{\kErN-\tw@\ex@
   
}^R_1(R/I, R/J) = 0$ and t hen reduce  to t his  ca se  byindu ction on $l$.C onsi der the exact sequence  of $ R$ - modu l es  $$0\ra J \ r aR \ra  R /J  \r a0 $$  andapp ly $\op eratorname {To r} ^R_\bullet(R / I, -)$. As $R $ i s flat, $$\o per atorna me {To r }^R_1 (R/ I, R/ J) = \ k er \le ft(R/I\ot im e s_R J\ ra R/I\ r i gh t) =  \frac{I\cap
    J}{IJ}.$$

Weargueby in d u cti onon $l$ tha tthisi s zero: Fo r $ l=1 $ , $x\in I\cap  J$ implies $x= \lambd as_1 = s_1\ lambd a\ inI$, so $\la mbda =0$ in $R /I$, s o  $\lamb d a\in I$  and h enc e $ x\in IJ $.  De no t e w i th  $J ' $ t he ideal  g en erate d by $ s _ 1,\d ots ,s_{ l-1}$ . By inductio n $ I\ca p  J' =IJ'$ . Let  $x\ in  I\ca p J =I\cap  ( J'+s_lR)$, so $ x= a +s_lb$ wi th$a \in  J '$ an d  $b\in  R$ . C learly$s_l b= 0 $ i n$ R / (I +J')$, so $b\in I+ J' $ by  regular ity of th es equencean d h ence $ $I\ca p J=  I \cap (J' +s_lR) =I\cap (J '+ s_l( I+ J') ) =  I \c a p (J '
     + s_lI ) = I \ cap J' + I\cap s_l I$$ as $s _ lI \ s ub s eteq  I$ . Now $I\ca p J' + I\ caps _l  I=  IJ'+s_lI=  I ( J'+s_lR) = IJ$, and  t his wa s tobe shown.

We  now argue b y  inducti on o n  $ l $ that $\opera torna me{Tor}^R_ q (R/I,R/J )=0$for all$q>0$. Fo r $l=1$ we  ha vethe  fr e e  r esolution $$0 \ ra R  {   {\mat hop {\ra}\l imi ts^ {\v box  t o -5\ex@{ \kern-\t w@ \e x@ 
  
}^R_1(R/I, R/J)_= 0$_and then reduce to_this case_by_induction on_$l$._Consider the exact_sequence of $R$-modules_$$0 \ra J \ra_R \ra R/J_\ra_0$$ and apply $\operatorname{Tor}^R_\bullet(R/I,-)$. As $R$ is flat, $$\operatorname{Tor}^R_1(R/I, R/J) = \ker \left(R/I\otimes_R J_\ra_R/I\right) =_\frac{I\cap
__    _ J}{IJ}.$$

We argue by induction_on $l$_that this is zero: For $l=1$, $x\in I\cap_J$_implies $x=\lambda s_1_= s_1\lambda \in I$, so $\lambda=0$ in $R/I$, so_$\lambda\in I$ and hence $x\in IJ$._Denote with $J'$_the_ideal_generated by $s_1,\dots,s_{l-1}$. By_induction $I\cap J'=IJ'$. Let $x\in I\cap_J = I\cap (J'+s_lR)$, so $x=_a+s_lb$ with $a\in J'$ and $b\in R$._Clearly $s_l b=0$ in $R/(I+J')$, so_$b\in I+J'$ by regularity of_the sequence_and hence $$I\cap J =_I\cap (J'+s_lR) =_I \cap_(J' + s_l(I+J'))_= I \cap (J'
  _  _+ s_lI) = I\cap J' +_I\cap_s_l I$$ as_$s_lI\subseteq_I$._Now $I\cap_J' + I\cap_s_l_I =_IJ'_+s_l I = I(J'+s_lR) = IJ$,_and_this was to be shown.

We now argue_by induction on $l$_that_$\operatorname{Tor}^R_q(R/I,R/J)=0$ for all $q>0$._For $l=1$ we have the_free resolution $$0 \ra R {_ {\mathop{\ra}\limits^{\vbox_to -5\ex@{\kern-\tw@\ex@
_  