,0) – (.2,0); (0,-4) \[fill = black\] circle (.07); at (0,1.4) [$u_1$]{}; at (0,-.7) [$u_2$]{}; at (1.6,0) [$\Pi$]{}; at (0,-5) [Fig. 2.2]{}; at (5,-3) [$\partial \Pi = u_1u_2$]{}; at (0,-2.2) [$\Delta_2$]{};

The inequality $|{\Delta}(2)| \le  | {\partial}{\Delta}|$ and its stronger version $\sum_{\Pi \in {\Delta}(2)} |{\partial}\Pi | \le | {\partial}{\Delta}|$ are immediate from property (A).

\(b) Suppose that a disk diagram ${\Delta}$ over [pr1]{} does not have property (A).

First assume that ${\Delta}$ contains a face $\Pi$ whose boundary path ${\partial}\Pi$ is not simple. Then, as in the proof of part (a), there is a factorization ${\partial}\Pi = u_1 u_2$, where $u_1, u_2$ are closed subpaths of ${\partial}\Pi$ and $0 < |u_1|, |u_2| < |{\partial}\Pi|$. Renaming $u_1$ and $u_2$ if necessary, we may assume that $u_2$ bounds a disk subdiagram ${\Delta}_2$ of ${\Delta}$ such that ${\Delta}_2$ does not contain $\Pi$, see Fig. 2.2. If $u_2$ is not simple, then we can replace $u_2$ by its closed subpath $u'_2$ such that $0 < |u'_2| < |u_2|$ and $u'_2$ bounds a disk subdiagram ${\Delta}'_2$ that contains no $\Pi$. Hence, choosing a shortest path $u_2$ as above, we may assume that $u_2$ is simple. By Lemma \[vk\] applied to ${\Delta}_2$ with ${\partial}{\Delta}_2 = u_2$, we have $$\label{ud2}
   {\varphi}(u_2) \equiv {\varphi}({\partial}{\Delta}_2)  \overset{{\mathcal{G}}_2} = 1.$$

Denote ${\varphi}({\partial}\Pi
, 0) – (.2,0); (0,-4) \[fill = black\ ] circle (.07); at (0,1.4) [ $ u_1 $ ] { }; at (0,-.7) [ $ u_2 $ ] { }; at (1.6,0) [ $ \Pi$ ] { }; at (0,-5) [ Fig. 2.2 ] { }; at (5,-3) [ $ \partial \Pi = u_1u_2 $ ] { }; at (0,-2.2) [ $ \Delta_2 $ ] { }; 

 The inequality $ |{\Delta}(2)| \le   | { \partial}{\Delta}|$ and its stronger version $ \sum_{\Pi \in { \Delta}(2) } |{\partial}\Pi | \le | { \partial}{\Delta}|$ are immediate from property (deoxyadenosine monophosphate). 

 \(b) presuppose that a disk diagram $ { \Delta}$ over [ pr1 ] { } does not have property (vitamin a). 

 First assume that $ { \Delta}$ contain a font $ \Pi$ whose boundary path $ { \partial}\Pi$ is not elementary. Then, as in the proof of part (a), there be a factorization $ { \partial}\Pi = u_1 u_2 $, where $ u_1, u_2 $ are closed subpaths of $ { \partial}\Pi$ and $ 0 < |u_1|, |u_2| < |{\partial}\Pi|$. Renaming $ u_1 $ and $ u_2 $ if necessary, we may simulate that $ u_2 $ restrict a disk subdiagram $ { \Delta}_2 $ of $ { \Delta}$ such that $ { \Delta}_2 $ does not contain $ \Pi$, see Fig.   2.2. If $ u_2 $ is not simple, then we can replace $ u_2 $ by its shut subpath $ u'_2 $ such that $ 0 < |u'_2| < |u_2|$ and $ u'_2 $ bounds a disk subdiagram $ { \Delta}'_2 $ that contains no $ \Pi$. therefore, choosing a shortest path $ u_2 $ as above, we may assume that $ u_2 $ is elementary. By Lemma   \[vk\ ] applied to $ { \Delta}_2 $ with $ { \partial}{\Delta}_2 = u_2 $, we have $ $ \label{ud2 } 
    { \varphi}(u_2) \equiv { \varphi}({\partial}{\Delta}_2)   \overset{{\mathcal{G}}_2 } = 1.$$ 

 Denote $ { \varphi}({\partial}\Pi
,0) – (.2,0); (0,-4) \[fill = black\] circle (.07); at (0,1.4) [$u_1$]{}; at (0,-.7) [$u_2$]{}; at (1.6,0) [$\Pi$]{}; at (0,-5) [Fij. 2.2]{}; at (5,-3) [$\lartial \Oi = u_1u_2$]{}; at (0,-2.2) [$\Delta_2$]{};

The inequalivy $|{\Dwlta}(2)| \oe  | {\partial}{\Delta}|$ and kts stronher versuon $\wym_{\Pi \in {\Delta}(2)} |{\partlcl}\Pi | \pe | {\'actial}{\Delta}|$ are lmmediate fsom property (A).

\(t) Ru'pose that a disk diagram ${\Delta}$ over [pr1]{} doex jot have propetty (A).

Gyrst assume that ${\Delta}$ contains a face $\Pi$ whove boundary psth ${\partial}\Pi$ is not simplf. Thfn, as in the proof of part (a), jgerq is a factorkzation ${\pagcial}\Pi = u_1 u_2$, where $u_1, u_2$ are closed subpaths uf ${\paxtial}\Pi$ and $0 < |u_1|, |k_2| < |{\partial}\Pi|$. Renaiing $u_1$ and $u_2$ if necevsary, wr may assume tmat $u_2$ boynds a disk subdiagrak ${\Delta}_2$ of ${\Delta}$ soch that ${\Dalca}_2$ does not contain $\Pu$, wee Fhg. 2.2. Ix $u_2$ kw nut aikpme, thej wx can replade $u_2$ by its closed subpath $u'_2$ sicr that $0 < |u'_2| < |u_2|$ znd $u'_2$ fotnds a disk subdiagram ${\Delta}'_2$ that contapns ho $\Pi$. Hence, choosing a whortest path $u_2$ as ablve, we mar assume that $u_2$ is simple. By Lemma \[vk\] applied to ${\Dalta}_2$ xigh ${\kavbial}{\Awlha}_2 = u_2$, we have $$\label{ud2}
   {\varphi}(u_2) \equiv {\varphi}({\pwdtoak}{\Delta}_2)  \overseb{{\mathcal{G}}_2} = 1.$$

Denote ${\fagpny}({\partial}\Pi
,0) – (.2,0); (0,-4) \[fill = black\] at [$u_1$]{}; at [$u_2$]{}; at (1.6,0) at [$\partial \Pi = at (0,-2.2) [$\Delta_2$]{}; inequality $|{\Delta}(2)| \le | {\partial}{\Delta}|$ and stronger version $\sum_{\Pi \in {\Delta}(2)} |{\partial}\Pi | \le | {\partial}{\Delta}|$ are immediate from (A). \(b) Suppose that a disk diagram ${\Delta}$ over [pr1]{} does not have (A). assume ${\Delta}$ a face $\Pi$ whose boundary path ${\partial}\Pi$ is not simple. Then, as in the proof of (a), there is a factorization ${\partial}\Pi = u_1 where $u_1, u_2$ are subpaths of ${\partial}\Pi$ and $0 |u_1|, < |{\partial}\Pi|$. $u_1$ $u_2$ necessary, we may that $u_2$ bounds a disk subdiagram ${\Delta}_2$ of ${\Delta}$ such that ${\Delta}_2$ does not contain $\Pi$, see 2.2. If not simple, we replace by its closed such that $0 < |u'_2| < bounds a disk subdiagram ${\Delta}'_2$ that contains no Hence, choosing shortest path $u_2$ as above, we assume that $u_2$ is simple. By Lemma \[vk\] to ${\Delta}_2$ with ${\partial}{\Delta}_2 = u_2$, we have $$\label{ud2} {\varphi}(u_2) \equiv {\varphi}({\partial}{\Delta}_2) \overset{{\mathcal{G}}_2} = 1.$$
,0) – (.2,0); (0,-4) \[fill = black\] circle (.07); at (0,1.4) [$u_1$]{}; at (0,-.7) [$u_2$]{}; at (1.6,0) [$\Pi$]{}; At (0,-5) [Fig. 2.2]{}; at (5,-3) [$\parTial \PI = u_1u_2$]{}; At (0,-2.2) [$\DElTa_2$]{};

ThE ineQuality $|{\Delta}(2)| \le  | {\PArtiAl}{\Delta}|$ and its stronger vErsioN $\sUM_{\Pi \iN {\deLta}(2)} |{\paRtial}\Pi | \LE | {\pARTiaL}{\DElTa}|$ aRe IMmEdiatE frOm propeRty (A).

\(b) SuppoSe tHaT a disk diagraM ${\deLta}$ over [pr1]{} dOes Not have propeRty (a).

First AsSumE That ${\DEltA}$ contAins a fACe $\Pi$ whOse boundaRy PAth ${\parTIal}\Pi$ is NOT sImplE. Then, as in the proof OF pARt (a), there is a facTorizaTiON ${\pARTiaL}\Pi = U_1 u_2$, where $u_1, u_2$ aRe CloseD SubpathS Of ${\PARTiaL}\pi$ and $0 < |u_1|, |u_2| < |{\partiaL}\Pi|$. Renaming $U_1$ And $U_2$ if necEsSarY, We may aSsume ThAT $u_2$ bOunds a disk sUbdiAgram ${\DeltA}_2$ of ${\DelTA}$ such thAT ${\Delta}_2$ dOes not ConTaiN $\Pi$, sEE FIg. 2.2. if $u_2$ Is NOt sIMpLe, tHEn wE can replAcE $u_2$ By its ClosED SUBpatH $u'_2$ sUch tHat $0 < |u'_2| < |u_2|$ And $u'_2$ bounds a diSk sUbdiAGraM ${\DeltA}'_2$ that ContAiNs no $\PI$. Hence, ChoosInG a shortest path $u_2$ As abOve, we may aSsuMe ThaT $u_2$ Is simPLe. By LeMma \[Vk\] aPplied tO ${\Delta}_2$ wITh ${\pArTIAL}{\DElta}_2 = u_2$, we have $$\label{ud2}
   {\VaRPHi}(U_2) \equiv {\vaRphi}({\paRTiAl}{\dElta}_2)  \overSeT{{\maThcaL{g}}_2} = 1.$$

denotE ${\varPHi}({\Partial}\PI
,0) – (.2,0); (0,-4) \[fil l = black\ ] cir cle  (. 07 ); a t (0 ,1.4) [$u_1$]{ } ; at  (0,-.7) [$u_2$]{}; at  (1.6 ,0 )  [$\ P i$ ]{};at (0,- 5 )[ F ig.  2 .2 ]{} ;a t(5,-3 ) [ $\parti al \Pi = u _1u _2 $]{}; at (0, - 2. 2) [$\Delt a_2 $]{};

The i neq uality  $ |{\ D elta} (2) | \le   | {\ p artial }{\Delta} |$ and it s  strong e r  v ersi on $\sum_{\Pi \in {\ D elta}(2)} |{\p artial }\ P i| \le  |{\partial} {\ Delta } |$ arei mm e d i ate from property  (A).

\(b) Sup pose t ha t a disk d iagra m$ {\D elta}$ over  [pr 1]{} does  not h a ve prop e rty (A) .

Fir stass umet ha t${\ De l ta} $  c ont a ins  a face$\ Pi $ who se b o u n d arypat h ${ \part ial}\Pi$ is n otsimp l e.Then,  as i n th eproof  of pa rt (a ),  there is a fac tori zation ${ \pa rt ial }\ Pi =u _1 u_2 $,whe re $u_1 , u_2$a recl o s e dsubpaths of ${\par ti a l }\ Pi$ and$0 < | u _1 |, |u_2| <|{ \pa rtia l } \Pi|$ . Re n am ing $u_1 $ and$ u_ 2$  if nec es sary,we  ma y a ssume that  $u_2$  boundsa dis k  subdiagram ${ \ Delta}_2$ of$ {\ D e lt a }$ s uch  that ${\De lta} _ 2$ d oesn ot  co n tain$\Pi$ ,s ee Fig. 2.2. If $u_2$is  not s imple , then we can  replace $ u _ 2 $ by its  clo s ed subpath $u'_2$  such  that $0 < |u'_2| <  |u_2 |$ and $ u'_2$ bou n d s a disk  su bdi agr am$ { \D elta}'_2$ tha t cont ai ns no $ \Pi $. Henc e,cho osi ngashortestpath $u_ 2$  a sab ove , wem ay assum etha t$u_ 2$ is simple . ByLemm a\[ v k\]  applie d  t o ${\D el ta }_2$  wi th  ${\p arti a l}{ \Delta} _2 = u_2$ , w e  hav e$$ \label{ ud2}
   {\var ph i}(u_2) \e qu iv{\varp h i }({\part ial}{\Delta}_2)  \overs e t{{\mat hca l{G}} _2}= 1.$$

D eno te ${\ var p hi}({\ partia l}\Pi 
,0) –_(.2,0); (0,-4)_\[fill = black\] circle_(.07); at_(0,1.4)_[$u_1$]{}; at_(0,-.7)_[$u_2$]{}; at (1.6,0)_[$\Pi$]{}; at (0,-5)_[Fig. 2.2]{}; at (5,-3)_[$\partial \Pi =_u_1u_2$]{};_at (0,-2.2) [$\Delta_2$]{};

The inequality $|{\Delta}(2)| \le  | {\partial}{\Delta}|$ and its stronger version $\sum_{\Pi_\in_{\Delta}(2)} |{\partial}\Pi_|_\le_| {\partial}{\Delta}|$ are immediate from_property (A).

\(b) Suppose that a_disk diagram_${\Delta}$ over [pr1]{} does not have property (A).

First_assume_that ${\Delta}$ contains_a face $\Pi$ whose boundary path ${\partial}\Pi$ is not_simple. Then, as in the proof_of part (a),_there_is_a factorization ${\partial}\Pi =_u_1 u_2$, where $u_1, u_2$ are_closed subpaths of ${\partial}\Pi$ and $0_< |u_1|, |u_2| < |{\partial}\Pi|$. Renaming $u_1$_and $u_2$ if necessary, we may_assume that $u_2$ bounds a_disk subdiagram_${\Delta}_2$ of ${\Delta}$ such that_${\Delta}_2$ does not_contain $\Pi$,_see Fig. 2.2. If_$u_2$ is not simple, then we_can replace $u_2$_by its closed subpath $u'_2$ such_that_$0 < |u'_2|_<_|u_2|$_and $u'_2$_bounds a disk_subdiagram_${\Delta}'_2$ that_contains_no $\Pi$. Hence, choosing a shortest_path_$u_2$ as above, we may assume that_$u_2$ is simple. By_Lemma \[vk\]_applied to ${\Delta}_2$ with_${\partial}{\Delta}_2 = u_2$, we have_$$\label{ud2}
   {\varphi}(u_2) \equiv {\varphi}({\partial}{\Delta}_2)_ \overset{{\mathcal{G}}_2}_= 1.$$

Denote_${\varphi}({\partial}\Pi