m)^*S^0$ for some $x\in S^0$;\
$(2)$ $xax=x$, $^\circ{x}=\!\!~^\circ(a^m)$, $^\circ(x^*)\subseteq\!\!~^\circ(a^m)$ and $^\circ(a^m)^* \subseteq\!\!~^\circ (x^m)$ for some $x\in S^0$.

 Suppose $a$ is \*-DMP with index $m$. Then $a^{\scriptsize\textcircled{\tiny D}_m},~(a^m)^{\dag}$ exist with $(a^{\scriptsize\textcircled{\tiny D}_m})^m=(a^m)^{\dag}$ by Lemma \[1\]. Take $x=a^{\scriptsize\textcircled{\tiny D}_m}$, then $xax=x,~xS^0=x^*S^0=a^mS^0$ by Lemma \[7\]. Further, from $x^m=(a^m)^{\dag}$, it follows that $x^m=(x^ma^m)^*x^m=(a^m)^*(x^m)^*x^m\in (a^m)^*S^0$ and $(a^m)^*=(a^mx^ma^m)^*=x^ma^m(a^m)^*\in x^mS^0$. Hence (1) holds.\
$(1)\Rightarrow(2)$ is clear.\
(2). From $xax=x$, $^\circ{x}=\!\!~^\circ(a^m)$ and $^\circ(x^*)\subseteq\!\!~^\circ(a^m)$, it follows that $a^{\scriptsize\textcircled{\tiny D}_m}=x$ by Lemma \[7\]. Then $1-(x^ma^m)^*\in\!\!~ ^\circ (a^m)^*\subseteq\!\!~^\circ(x^m)$ implies $x^m=(x^ma^m)^*x^m$. So $x^ma^m=(x^ma^m)^*x^ma^m$. Therefore $(x^ma^m)^*=x^ma^m$, together with $xa^{m+1}=a^m,~ax^2=x$, implies $a$ is \*-DMP with index $m$ by Theorem 
m)^*S^0 $ for some $ x\in S^0$;\ 
 $ (2)$   $ xax = x$, $ ^\circ{x}=\!\!~^\circ(a^m)$, $ ^\circ(x^*)\subseteq\!\!~^\circ(a^m)$ and $ ^\circ(a^m)^ * \subseteq\!\!~^\circ (x^m)$ for some $ x\in S^0$. 

  Suppose $ a$ is \*-DMP with index $ m$. Then $ a^{\scriptsize\textcircled{\tiny D}_m},~(a^m)^{\dag}$ exist with $ (a^{\scriptsize\textcircled{\tiny D}_m})^m=(a^m)^{\dag}$ by Lemma   \[1\ ]. Take $ x = a^{\scriptsize\textcircled{\tiny D}_m}$, then $ xax = x,~xS^0 = x^*S^0 = a^mS^0 $ by Lemma   \[7\ ]. far, from $ x^m=(a^m)^{\dag}$, it take after that $ x^m=(x^ma^m)^*x^m=(a^m)^*(x^m)^*x^m\in (a^m)^*S^0 $ and $ (a^m)^*=(a^mx^ma^m)^*=x^ma^m(a^m)^*\in x^mS^0$. Hence (1) holds.\ 
 $ (1)\Rightarrow(2)$ is clear.\ 
 (2). From $ xax = x$, $ ^\circ{x}=\!\!~^\circ(a^m)$ and $ ^\circ(x^*)\subseteq\!\!~^\circ(a^m)$, it follows that $ a^{\scriptsize\textcircled{\tiny D}_m}=x$ by Lemma \[7\ ]. Then $ 1-(x^ma^m)^*\in\!\!~ ^\circ (a^m)^*\subseteq\!\!~^\circ(x^m)$ implies $ x^m=(x^ma^m)^*x^m$. then $ x^ma^m=(x^ma^m)^*x^ma^m$. Therefore $ (x^ma^m)^*=x^ma^m$, together with $ xa^{m+1}=a^m,~ax^2 = x$, incriminate $ a$ is \*-DMP with exponent $ m$ by Theorem
m)^*S^0$ vor some $x\in S^0$;\
$(2)$ $xax=x$, $^\circ{x}=\!\!~^\girc(a^m)$, $^\circ(x^*)\subsgtwq\!\!~^\circ(e^m)$ and $^\dirc(a^m)^* \sjbseteq\!\!~^\circ (x^m)$ for some $x\in D^0$.

 Syppost $a$ is \*-DMP with inddx $m$. Then $a^{\scriptwize\uextcircled{\tiny D}_m},~(a^m)^{\dag}$ ewnst wjbh $(a^{\sermptsize\textcircked{\tiny D}_m})^k=(a^m)^{\dag}$ by Lemmd \[1\]. Gane $x=a^{\scriptsize\textcircled{\tiny D}_m}$, tren $xax=c,~xD^0=x^*S^0=a^mS^0$ by Lemmw \[7\]. Fugtrer, rgon $x^m=(a^m)^{\dag}$, it follows that $x^m=(x^ja^m)^*x^m=(a^m)^*(q^m)^*x^m\in (a^m)^*S^0$ and $(a^m)^*=(s^mx^ma^m)^*=x^ma^m(a^m)^*\in x^mS^0$. Hence (1) joldd.\
$(1)\Rightarrow(2)$ is clewr.\
(2). From $xax=z$, $^\ciwx{x}=\!\!~^\circ(a^m)$ and $^\circ(x^*)\substtzq\!\!~^\circ(a^m)$, it follows that $a^{\scriptsize\textcifcled{\ciny D}_m}=x$ by Lwmmw \[7\]. Then $1-(x^ma^m)^*\mn\!\!~ ^\cirb (a^m)^*\subseteq\!\!~^\clgc(x^m)$ im[lies $x^k=(x^ma^m)^*x^m$. So $x^ma^k=(x^me^m)^*x^mq^m$. Therefore $(x^ma^m)^*=x^ma^m$, together with $xa^{m+1}=w^m,~ax^2=x$, impnizs $a$ is \*-DMP with indez $n$ by Jheoram 
m)^*S^0$ for some $x\in S^0$;\ $(2)$ $xax=x$, and \subseteq\!\!~^\circ (x^m)$ some $x\in S^0$. index Then $a^{\scriptsize\textcircled{\tiny D}_m},~(a^m)^{\dag}$ with $(a^{\scriptsize\textcircled{\tiny D}_m})^m=(a^m)^{\dag}$ Lemma \[1\]. Take $x=a^{\scriptsize\textcircled{\tiny D}_m}$, then by Lemma \[7\]. Further, from $x^m=(a^m)^{\dag}$, it follows that $x^m=(x^ma^m)^*x^m=(a^m)^*(x^m)^*x^m\in (a^m)^*S^0$ and $(a^m)^*=(a^mx^ma^m)^*=x^ma^m(a^m)^*\in Hence (1) holds.\ $(1)\Rightarrow(2)$ is clear.\ (2). From $xax=x$, $^\circ{x}=\!\!~^\circ(a^m)$ and $^\circ(x^*)\subseteq\!\!~^\circ(a^m)$, it that D}_m}=x$ Lemma Then $1-(x^ma^m)^*\in\!\!~ ^\circ (a^m)^*\subseteq\!\!~^\circ(x^m)$ implies $x^m=(x^ma^m)^*x^m$. So $x^ma^m=(x^ma^m)^*x^ma^m$. Therefore $(x^ma^m)^*=x^ma^m$, together with $xa^{m+1}=a^m,~ax^2=x$, implies $a$ is with index $m$ by Theorem
m)^*S^0$ for some $x\in S^0$;\
$(2)$ $xax=x$, $^\circ{x}=\!\!~^\cirC(a^m)$, $^\circ(x^*)\suBseteQ\!\!~^\ciRc(a^M)$ aNd $^\ciRc(a^m)^* \Subseteq\!\!~^\circ (x^m)$ FOr soMe $x\in S^0$.

 Suppose $a$ is \*-DMP witH indeX $m$. tHen $a^{\SCrIptsiZe\textcIRcLED{\tiNy d}_m},~(A^m)^{\dAg}$ EXiSt witH $(a^{\sCriptsiZe\textcircLed{\TiNy D}_m})^m=(a^m)^{\dag}$ by lEmMa \[1\]. Take $x=a^{\scRipTsize\textcirCleD{\tiny D}_M}$, tHen $XAx=x,~xS^0=X^*S^0=a^MS^0$ by LEmma \[7\]. FuRTher, frOm $x^m=(a^m)^{\dag}$, It FOllows THat $x^m=(x^mA^M)^*X^m=(A^m)^*(x^m)^*X^m\in (a^m)^*S^0$ and $(a^m)^*=(a^mx^ma^M)^*=X^mA^M(a^m)^*\in x^mS^0$. Hence (1) hOlds.\
$(1)\RiGhTArROW(2)$ is CleAr.\
(2). From $xax=x$, $^\CiRc{x}=\!\!~^\ciRC(a^m)$ and $^\cIRc(X^*)\SUBseTEq\!\!~^\circ(a^m)$, it folLows that $a^{\scRIptSize\teXtCirCLed{\tinY D}_m}=x$ bY LEMma \[7\]. then $1-(x^ma^m)^*\in\!\!~ ^\cIrc (a^M)^*\subseteq\!\!~^\Circ(x^m)$ IMplies $x^M=(X^ma^m)^*x^m$. SO $x^ma^m=(x^Ma^m)^*X^ma^M$. TheREfOrE $(x^mA^m)^*=X^Ma^m$, TOgEthER wiTh $xa^{m+1}=a^m,~aX^2=x$, ImPlies $A$ is \*-Dmp WITh inDex $M$ by THeoreM 
m)^*S^0$ for some $x\in S^ 0$;\
$(2)$  $xax =x$ , $ ^\ circ {x}= \!\!~^\circ(a^ m )$,$^\circ(x^*)\subseteq\ !\!~^ \c i rc(a ^ m) $ and  $^\cir c (a ^ m )^*  \ su bse te q \! \!~^\ cir c (x^m) $ for some  $x \i n S^0$.

 Su p po se $a$ is\*- DMP with ind ex$m$. T he n $ a ^{\sc rip tsize \textc i rcled{ \tiny D}_ m} , ~(a^m) ^ {\dag}$ e xi st w ith $(a^{\scripts i ze \ textcircled{\t iny D} _m } )^ m = (a^ m)^ {\dag}$ by  L emma\ [1\]. T a ke $ x =a^ { \scriptsize\t extcircled{ \ tin y D}_m }$ , t h en $xa x=x,~ xS ^ 0=x ^*S^0=a^mS^ 0$ b y Lemma \ [7\].F urther, from $x ^m=(a^ m)^ {\d ag}$ ,  i tfol lo w s t h at  $x ^ m=( x^ma^m)^ *x ^m =(a^m )^*( x ^ m ) ^*x^ m\i n (a ^m)^* S^0$ and $(a^ m)^ *=(a ^ mx^ ma^m) ^*=x^ ma^m (a ^m)^* \in x^ mS^0$ .Hence (1) holds .\
$ (1)\Right arr ow (2) $is cl e ar.\
( 2).  Fr om $xax =x$, $^ \ cir c{ x } = \! \!~^\circ(a^m)$ an d$ ^ \c irc(x^*) \subse t eq \! \ !~^\circ (a ^m) $, i t follo ws t h at  $a^{\sc riptsi z e\ te xtcircl ed {\tiny  D }_m }=x $ byL emma  \[7\] . Then $ 1-(x^ m a^m)^*\in\!\!~ ^\circ (a^m)^ * \s u b se t eq\! \!~ ^\circ(x^m) $ im p lies  $x^ m =( x^m a ^m)^* x^m$.  S o  $ x ^ma^m=(x^ma^m)^*x^m a^ m$. Th erefo re $(x^ma^m)^ *=x^ma^m$, t o gether w ith$ xa ^ {m+1}=a^m,~ax^ 2=x$,  implies $ a $ is \*- DMP w ith inde x $m$ byT h eorem 
m)^*S^0$ for_some $x\in_S^0$;\
$(2)$ $xax=x$, $^\circ{x}=\!\!~^\circ(a^m)$, $^\circ(x^*)\subseteq\!\!~^\circ(a^m)$ and_$^\circ(a^m)^* \subseteq\!\!~^\circ_(x^m)$_for some_$x\in_S^0$.

 Suppose $a$ is_\*-DMP with index_$m$. Then $a^{\scriptsize\textcircled{\tiny D}_m},~(a^m)^{\dag}$_exist with $(a^{\scriptsize\textcircled{\tiny_D}_m})^m=(a^m)^{\dag}$_by Lemma \[1\]. Take $x=a^{\scriptsize\textcircled{\tiny D}_m}$, then $xax=x,~xS^0=x^*S^0=a^mS^0$ by Lemma \[7\]. Further, from $x^m=(a^m)^{\dag}$, it follows_that_$x^m=(x^ma^m)^*x^m=(a^m)^*(x^m)^*x^m\in (a^m)^*S^0$_and_$(a^m)^*=(a^mx^ma^m)^*=x^ma^m(a^m)^*\in_x^mS^0$. Hence (1) holds.\
$(1)\Rightarrow(2)$ is_clear.\
(2). From $xax=x$, $^\circ{x}=\!\!~^\circ(a^m)$ and_$^\circ(x^*)\subseteq\!\!~^\circ(a^m)$, it_follows that $a^{\scriptsize\textcircled{\tiny D}_m}=x$ by Lemma \[7\]. Then_$1-(x^ma^m)^*\in\!\!~_^\circ (a^m)^*\subseteq\!\!~^\circ(x^m)$ implies_$x^m=(x^ma^m)^*x^m$. So $x^ma^m=(x^ma^m)^*x^ma^m$. Therefore $(x^ma^m)^*=x^ma^m$, together with $xa^{m+1}=a^m,~ax^2=x$, implies_$a$ is \*-DMP with index $m$_by Theorem 