0$, so $E^{\infty}_{p,q}=0$ for $p,q>0$. We also have $E^2_{p,q}=0$ for $p,q<0$. Hence $E^2_{1,0}=E^i_{1,0}$ for $i>1$. But $E^{\infty}_{1,0}=0$ which implies that $H_1(X{\otimes}_RH_0(Y)) =
E^2_{1,0}=0$. Since $M{\otimes}_RH_0(Y) = M/(\bold x)$ has finite length, we must have $0 = H_p(X{\otimes}_RH_0(Y)) = E^2_{p,0}$ for all $p \geq 1$. By induction we will have: $$0 = E^2_{p,q} =  H_p(X{\otimes}_RH_q(Y))$$ for all $p\geq 1$ and $q\geq 0$ (note that since $\bold{x}R$ kills all the modules $H_q(Y)$, $M{\otimes}_RH_q(Y)$ has finite length so we can apply (1)). But since $E^{\infty}_{p,q}=0$ for $p,q>0$, we have: $$0 = E^2_{0,q} = H_0(X{\otimes}_RH_q(Y)) = M{\otimes}_RH_q(Y)$$ for each $q>0$. This forces $H_q(Y)=0$ for $q>0$, hence $\bold x$ is an $R$-sequence. If $\bold x$ is not a full $M$-sequence, we can always add more elements and reach the same conclusion.\
Assume (2). Let $N$ be an $R$ module such that $l(M{\otimes}_RN)<\infty$. Then we can find a full system of parameters $\bold x$ on $M$ such that $\bold x \subset {\textup{Ann}}(N)$. As $M$ is Cohen-Macaulay, $\bold x$ is also a full $M$-sequence. By assumption, $\bold x$ is an $R$-sequence. Thus: $$\dim N \leq \dim R/(\bold x)= \dim R -\dim M$$ Finally, $(3)\Rightarrow (
0 $, so $ E^{\infty}_{p, q}=0 $ for $ p, q>0$. We also have $ E^2_{p, q}=0 $ for $ phosphorus, q<0$. therefore $ E^2_{1,0}=E^i_{1,0}$ for $ i>1$. But $ E^{\infty}_{1,0}=0 $ which imply that $ H_1(X{\otimes}_RH_0(Y) ) = 
 E^2_{1,0}=0$. Since $ M{\otimes}_RH_0(Y) = M/(\bold x)$ has finite length, we must have $ 0 = H_p(X{\otimes}_RH_0(Y) ) = E^2_{p,0}$ for all $ phosphorus \geq 1$. By induction we will have: $ $ 0 = E^2_{p, q } =   H_p(X{\otimes}_RH_q(Y))$$ for all $ p\geq 1 $ and $ q\geq 0 $ (note that since $ \bold{x}R$ kill all the modules $ H_q(Y)$, $ M{\otimes}_RH_q(Y)$ has finite length so we can use (1) ). But since $ E^{\infty}_{p, q}=0 $ for $ p, q>0 $, we have: $ $ 0 = E^2_{0,q } = H_0(X{\otimes}_RH_q(Y) ) = M{\otimes}_RH_q(Y)$$ for each $ q>0$. This force $ H_q(Y)=0 $ for $ q>0 $, hence $ \bold x$ is an $ R$-sequence. If $ \bold x$ is not a full $ M$-sequence, we can always add more elements and reach the like conclusion.\ 
 Assume (2). Let $ N$ be an $ R$ module such that $ l(M{\otimes}_RN)<\infty$. Then we can find a broad system of parameters $ \bold x$ on $ M$ such that $ \bold x \subset { \textup{Ann}}(N)$. As $ M$ is Cohen - Macaulay, $ \bold x$ is besides a full $ M$-sequence. By presumption, $ \bold x$ is an $ R$-sequence. Thus: $ $ \dim N \leq \dim R/(\bold x)= \dim R -\dim M$$ last, $ (3)\Rightarrow (
0$, so $E^{\infty}_{p,q}=0$ for $p,q>0$. We also have $E^2_{p,q}=0$ for $p,q<0$. Hence $E^2_{1,0}=E^i_{1,0}$ fkr $i>1$. But $E^{\infty}_{1,0}=0$ which implies that $H_1(E{\otines}_RH_0(T)) =
E^2_{1,0}=0$. Since $M{\otimes}_RH_0(Y) = O/(\bold x)$ hws finitw leigth, we must havx $0 = H_p(X{\obnmes}_RG_0(N)) = E^2_{p,0}$ hor all $p \geq 1$. Ny inductiot we will have: $$0 = E^2_{',q} =  H_p(X{\otimes}_RH_q(Y))$$ for all $p\geq 1$ and $q\geq 0$ (mohe that since $\fold{q}R$ kilms all the modules $H_q(Y)$, $M{\otimes}_RH_q(Y)$ has fiiite length so ee can apply (1)). But since $E^{\ijfty}_{o,q}=0$ for $p,q>0$, we have: $$0 = E^2_{0,q} = H_0(X{\otines}_RR_w(Y)) = M{\otimes}_RF_q(Y)$$ for eabk $q>0$. This fotces $H_q(Y)=0$ for $q>0$, hence $\bold x$ is av $R$-seauence. If $\vood d$ is not a fnll $M$-svquence, we cak alwayv add mpre elements akd reech rhe same conclusion.\
Asvume (2). Let $N$ be an $T$ module sgck that $l(M{\otimes}_RN)<\inftt$. Rhen fe cdn fkbd x fhlk aystem of parametera $\bold x$ on $M$ such that $\bold x \stvset {\textup{Anh}}(N)$. As $I$ ys Cohen-Macaulay, $\bold x$ is also a full $K$-sesuence. By assumption, $\bood x$ is an $R$-sequence. Jhus: $$\dim N \leq \dim R/(\bold x)= \dim R -\dim M$$ Finally, $(3)\Rightarrow (
0$, so $E^{\infty}_{p,q}=0$ for $p,q>0$. We also for Hence $E^2_{1,0}=E^i_{1,0}$ $i>1$. But $E^{\infty}_{1,0}=0$ E^2_{1,0}=0$. $M{\otimes}_RH_0(Y) = M/(\bold has finite length, must have $0 = H_p(X{\otimes}_RH_0(Y)) = for all $p \geq 1$. By induction we will have: $$0 = E^2_{p,q} H_p(X{\otimes}_RH_q(Y))$$ for all $p\geq 1$ and $q\geq 0$ (note that since $\bold{x}R$ kills the $H_q(Y)$, has length so we can apply (1)). But since $E^{\infty}_{p,q}=0$ for $p,q>0$, we have: $$0 = E^2_{0,q} H_0(X{\otimes}_RH_q(Y)) = M{\otimes}_RH_q(Y)$$ for each $q>0$. This forces for $q>0$, hence $\bold is an $R$-sequence. If $\bold is a full we always more elements and the same conclusion.\ Assume (2). Let $N$ be an $R$ module such that $l(M{\otimes}_RN)<\infty$. Then we can a full parameters $\bold on such $\bold x \subset $M$ is Cohen-Macaulay, $\bold x$ is $M$-sequence. By assumption, $\bold x$ is an $R$-sequence. $$\dim N \dim R/(\bold x)= \dim R -\dim Finally, $(3)\Rightarrow (
0$, so $E^{\infty}_{p,q}=0$ for $p,q>0$. We also have $e^2_{p,q}=0$ for $p,q<0$. HeNce $E^2_{1,0}=E^I_{1,0}$ foR $i>1$. BUt $e^{\infTy}_{1,0}=0$ whIch implies that $h_1(x{\otiMes}_RH_0(Y)) =
E^2_{1,0}=0$. Since $M{\otimes}_RH_0(Y) = m/(\bold X)$ hAS finITe LengtH, we must HAvE $0 = h_P(X{\oTiMeS}_RH_0(y)) = E^2_{P,0}$ FoR all $p \Geq 1$. by inducTion we will HavE: $$0 = E^2_{P,q} =  H_p(X{\otimes}_Rh_Q(Y))$$ For all $p\geq 1$ And $Q\geq 0$ (note that SinCe $\bold{X}R$ KilLS all tHe mOduleS $H_q(Y)$, $M{\oTImes}_RH_Q(Y)$ has finiTe LEngth sO We can apPLY (1)). BUt siNce $E^{\infty}_{p,q}=0$ for $p,q>0$, wE HaVE: $$0 = E^2_{0,q} = H_0(X{\otimes}_RH_q(y)) = M{\otimEs}_rh_q(y)$$ FOr eAch $Q>0$. This forceS $H_Q(Y)=0$ for $Q>0$, Hence $\boLD x$ IS AN $R$-sEQuence. If $\bold x$ Is not a full $M$-SEquEnce, we CaN alWAys add More eLeMEntS and reach thE samE conclusiOn.\
AssuME (2). Let $N$ be AN $R$ modulE such tHat $L(M{\oTimeS}_rN)<\InFty$. thEN we CAn FinD A fuLl system Of PaRametErs $\bOLD X$ On $M$ sUch That $\Bold x \Subset {\textup{ANn}}(N)$. as $M$ iS cohEn-MacAulay, $\Bold X$ iS also A full $M$-SequeNcE. By assumption, $\boLd x$ iS an $R$-sequeNce. thUs: $$\dIm n \leq \dIM R/(\bold X)= \diM R -\dIm M$$ FinaLly, $(3)\RighTArrOw (
0$, so $E^{\infty}_{p,q}=0 $ for $p,q >0$.Weals ohave  $E^ 2_{p,q}=0$ for $p,q <0$. Hence $E^2_{1,0}= E^i_{ 1, 0 }$ f o r$i>1$ . But $ E ^{ \ i nft y} _{ 1,0 }= 0 $which  im plies t hat $H_1(X {\o ti mes}_RH_0(Y) )  = 
E^2_{1,0} =0$ . Since $M{\ oti mes}_R H_ 0(Y )  = M/ (\b old x )$ has finite  length,we must h a ve $0 = H _p (X{\ otimes}_RH_0(Y))=  E ^ 2_{p,0}$ for a ll $p\g e q1 $ . B y i nduction w ewillh ave: $$ 0  = E ^ 2_{ p ,q} =  H_p(X{ \otimes}_RH _ q(Y ))$$ f or  al l  $p\ge q 1$an d  $q \geq 0$ (no te t hat since  $\bol d {x}R$ k i lls all  the m odu les  $H_ q (Y )$ , $ M{ \ oti m es }_R H _q( Y)$ hasfi ni te le ngth s o we c anappl y (1) ). But since$E^ {\in f ty} _{p,q }=0$for$p ,q>0$ , we h ave:$$ 0 = E^2_{0,q} =  H_0 (X{\otime s}_ RH _q( Y) ) = M { \otime s}_ RH_ q(Y)$$for eac h  $q >0 $ . Th is forces $H_q(Y)= 0$ f or  $q>0$,hence$ \b ol d  x$ is a n$R$ -seq u e nce.If $ \ bo ld x$ is  not a fu ll  $M$-se qu ence,we  ca n a lways addmore e lementsand r e ach the same c o nclusion.\
As s um e (2 ) . Le t $ N$ be an $R $ mo d ulesuch th at$ l(M{\ otime s} _ RN ) <\infty$. Then we c an  finda ful l system of p arameters$ \ b old x$ o n $M $  s u ch that $\bold  x \s ubset {\te x tup{Ann} }(N)$ . As $M$  is Cohen - M acaulay,  $\ bol d x $ i s al so a full $M$ - s eque nc e. By a ssu mption,  $\ bol d x $ i san $R$-se quence.Th us :$$ \di m N \ l eq \dimR/ (\b ol d x )= \d i m R -\ dim M $$ F in al l y,$(3)\Ri g ht a r row(
0$, so_$E^{\infty}_{p,q}=0$ for_$p,q>0$. We also have_$E^2_{p,q}=0$ for_$p,q<0$._Hence $E^2_{1,0}=E^i_{1,0}$_for_$i>1$. But $E^{\infty}_{1,0}=0$_which implies that_$H_1(X{\otimes}_RH_0(Y)) =
E^2_{1,0}=0$. Since $M{\otimes}_RH_0(Y)_= M/(\bold x)$_has_finite length, we must have $0 = H_p(X{\otimes}_RH_0(Y)) = E^2_{p,0}$ for all $p \geq_1$._By induction_we_will_have: $$0 = E^2_{p,q} =_ H_p(X{\otimes}_RH_q(Y))$$ for all $p\geq_1$ and_$q\geq 0$ (note that since $\bold{x}R$ kills all_the_modules $H_q(Y)$, $M{\otimes}_RH_q(Y)$_has finite length so we can apply (1)). But_since $E^{\infty}_{p,q}=0$ for $p,q>0$, we have:_$$0 = E^2_{0,q}_=_H_0(X{\otimes}_RH_q(Y))_= M{\otimes}_RH_q(Y)$$ for each_$q>0$. This forces $H_q(Y)=0$ for $q>0$,_hence $\bold x$ is an $R$-sequence._If $\bold x$ is not a full_$M$-sequence, we can always add more_elements and reach the same_conclusion.\
Assume (2)._Let $N$ be an $R$_module such that_$l(M{\otimes}_RN)<\infty$. Then_we can find_a full system of parameters $\bold_x$ on $M$_such that $\bold x \subset {\textup{Ann}}(N)$._As_$M$ is Cohen-Macaulay,_$\bold_x$_is also_a full $M$-sequence._By_assumption, $\bold_x$_is an $R$-sequence. Thus: $$\dim N_\leq_\dim R/(\bold x)= \dim R -\dim M$$_Finally, $(3)\Rightarrow (