5);
\draw [-, color=black]
        (0,-2) -- (3, -5);
\draw [-, color=black]
        (-3,-9) -- (-3, -5);
\draw [-, color=black]
        (3,-9) -- (3, -5);
\draw [-, color=black]
        (-3,5) -- (-3,9);
\draw [-, color=black]
        (3,5) -- (3, 9);
\draw [-, color=black]
        (-3,5) to [bend right = 90]  (-3,-5);
\draw [-, color=black]
        (3,5) to [bend left = 90]  (3, -5);
    \end{tikzpicture}$$

Using the formulae - for the quantum $6j$-symbols together with Lemma \[tetra-lemma\], we have $$\begin{aligned}
&\begin{tikzpicture}[baseline=(current  bounding  box.center),
            wh/.style={circle,draw=black,thick,inner sep=.5mm},
            bl/.style={circle,draw=black,fill=black,thick,inner sep=.5mm}, scale = 0.17]
        \node at (1,0) {$i$};
\node at (3,3) {{\footnotesize $ k_2$}};
\node at (-3,3) {{\footnotesize $ k_1$}};
\node at (-5,8) {$m_1$};
\node at (5,8) {$l_2$};
\node at (-5,-8) {$m_1$};
\node at (5,-8) {$l_2$};
\node at (3,-3) {{\footnotesize $k_2$}};
\node at (-3,-3) {{\footnotesize $k_1$}};
\node at (-7,0) {$l_1$};
\node at (8,0) {$m_2$};
\draw [-, color=black]
        (0,-2) -- (0, 2);
\draw [-, color=black]
        (0,2) -- (3, 5);
\draw [-, color=black
5); 
 \draw [ -, color = black ] 
         (0,-2) -- (3, -5); 
 \draw [ -, color = black ] 
         (-3,-9) -- (-3, -5); 
 \draw [ -, semblance = bootleg ] 
         (3,-9) -- (3, -5); 
 \draw [ -, color = black ] 
         (-3,5) -- (-3,9); 
 \draw [ -, semblance = bootleg ] 
         (3,5) -- (3, 9); 
 \draw [ -, color = black ] 
         (-3,5) to [ bend good = 90 ]   (-3,-5); 
 \draw [ -, color = black ] 
         (3,5) to [ flex left = 90 ]   (3, -5); 
     \end{tikzpicture}$$ 

 Using the formula - for the quantum $ 6j$-symbols together with Lemma \[tetra - lemma\ ], we have $ $ \begin{aligned } 
 & \begin{tikzpicture}[baseline=(current   bound   box.center), 
             wh/.style={circle, pull = black, thick, inner sep=.5 mm }, 
             bl/.style={circle, draw = black, filling = black, thick, inner sep=.5 mm }, plate = 0.17 ] 
         \node at (1,0) { $ i$ }; 
 \node at (3,3) { { \footnotesize $ k_2 $ } }; 
 \node at (-3,3) { { \footnotesize $ k_1 $ } }; 
 \node at (-5,8) { $ m_1 $ }; 
 \node at (5,8) { $ l_2 $ }; 
 \node at (-5,-8) { $ m_1 $ }; 
 \node at (5,-8) { $ l_2 $ }; 
 \node at (3,-3) { { \footnotesize $ k_2 $ } }; 
 \node at (-3,-3) { { \footnotesize $ k_1 $ } }; 
 \node at (-7,0) { $ l_1 $ }; 
 \node at (8,0) { $ m_2 $ }; 
 \draw [ -, color = black ] 
         (0,-2) -- (0, 2); 
 \draw [ -, color = black ] 
         (0,2) -- (3, 5); 
 \draw [ -, color = bootleg
5);
\draa [-, color=black]
        (0,-2) -- (3, -5);
\araw [-, color=black]
        (-3,-9) -- (-3, -5);
\ddaw [-, colur=black]
        (3,-9) -- (3, -5);
\draw [-, coloc=blaxk]
        (-3,5) -- (-3,9);
\draw [-, color=blacy]
        (3,5) -- (3, 9);
\draw [-, colie=black]
        (-3,5) to [nznd rjnht = 90]  (-3,-5);
\draw [-, color=blsck]
        (3,5) to [bend left = 90]  (3, -5);
    \end{tikzpicture}$$

Using the formulwe - for tje quantum $6j$-syibolx togsnhtr with Lemma \[tetra-lemma\], we have $$\gegin{alpgned}
&\begin{tikzpicyure}[baseline=(current  boundlng  box.center),
            wh/.style={xircjw,draw=black,thkck,inner stp=.5km},
            bl/.style={circle,draw=black,fill=buack,tkick,inner sg'=.5nm}, dwale = 0.17]
        \noqe at (1,0) {$i$};
\node at (3,3) {{\foodnotesiae $ k_2$}};
\node at (-3,3) {{\nootnmtewize $ k_1$}};
\node at (-5,8) {$m_1$};
\node at (5,8) {$l_2$};
\node at (-5,-8) {$m_1$};
\noqe at (5,-8) {$l_2$};
\nmdz at (3,-3) {{\footnotesize $k_2$}};
\nidw at (-3,-3) {{\foodnotdwizd $k_1$}};
\hove zt (-7,0) {$l_1$};
\nlde at (8,0) {$m_2$};
\draw [-, color=blacj]
        (0,-2) -- (0, 2);
\draw [-, cpljg=nlack]
        (0,2) -- (3, 5);
\drww [-, color=black
5); \draw [-, color=black] (0,-2) -- (3, [-, (-3,-9) -- -5); \draw [-, \draw color=black] (-3,5) -- \draw [-, color=black] -- (3, 9); \draw [-, color=black] to [bend right = 90] (-3,-5); \draw [-, color=black] (3,5) to [bend left 90] (3, -5); \end{tikzpicture}$$ Using the formulae - for the quantum $6j$-symbols together Lemma we $$\begin{aligned} bounding box.center), wh/.style={circle,draw=black,thick,inner sep=.5mm}, bl/.style={circle,draw=black,fill=black,thick,inner sep=.5mm}, scale = 0.17] \node at (1,0) {$i$}; \node at (3,3) $ k_2$}}; \node at (-3,3) {{\footnotesize $ k_1$}}; at (-5,8) {$m_1$}; \node (5,8) {$l_2$}; \node at (-5,-8) \node (5,-8) {$l_2$}; at {{\footnotesize \node at (-3,-3) $k_1$}}; \node at (-7,0) {$l_1$}; \node at (8,0) {$m_2$}; \draw [-, color=black] (0,-2) -- (0, 2); \draw color=black] (0,2) 5); \draw color=black
5);
\draw [-, color=black]
        (0,-2) -- (3, -5);
\draw [-, color=blAck]
        (-3,-9) -- (-3, -5);
\draw [-, colOr=blaCk]
        (3,-9) -- (3, -5);
\dRaw [-, CoLor=bLack]
        (-3,5) -- (-3,9);
\Draw [-, color=black]
        (3,5) -- (3, 9);
\DRaw [-, cOlor=black]
        (-3,5) to [bend right = 90]  (-3,-5);
\drAw [-, colOr=BLack]
        (3,5) TO [bEnd leFt = 90]  (3, -5);
    \end{tiKZpICTurE}$$

USiNg tHe FOrMulae - For The quanTum $6j$-symbolS toGeTher with LemmA \[TeTra-lemma\], we HavE $$\begin{aligneD}
&\beGin{tikZpIctURe}[basEliNe=(curRent  boUNding  bOx.center),
            wH/.sTYle={cirCLe,draw=bLACk,ThicK,inner sep=.5mm},
            bl/.stylE={CiRCle,draw=black,fiLl=blacK,tHIcK,INneR seP=.5mm}, scale = 0.17]
        \noDe At (1,0) {$i$};
\noDE at (3,3) {{\footNOtESIZe $ k_2$}};
\NOde at (-3,3) {{\footnoteSize $ k_1$}};
\node at (-5,8) {$M_1$};
\NodE at (5,8) {$l_2$};
\noDe At (-5,-8) {$m_1$};
\NOde at (5,-8) {$l_2$};
\Node aT (3,-3) {{\fOOtnOtesize $k_2$}};
\nodE at (-3,-3) {{\fOotnotesiZe $k_1$}};
\nodE At (-7,0) {$l_1$};
\node AT (8,0) {$m_2$};
\draw [-, cOlor=blAck]
        (0,-2) -- (0, 2);
\DraW [-, colOR=bLaCk]
        (0,2) -- (3, 5);
\dRaW [-, ColOR=bLacK
5);
\draw [-, color=black] 
        ( 0,-2)  --  (3 ,-5); 
\dr aw [-, color=b l ack] 
        (-3,-9) -- (- 3, -5 ); \dra w  [ -, co lor=bla c k]     (3, -9 )  - - (3,  -5 );
\dra w [-, colo r=b la ck]
       ( -3 ,5) -- (-3 ,9) ;
\draw [-,col or=bla ck ]
     (3 ,5) - - (3,9 );
\dr aw [-, co lo r =black ] 
     (- 3,5)  to [bend right = 90 ]   (-3,-5);
\dr aw [-,  c o lo r = bla ck] 
        ( 3, 5) to [bend l e ft = 90]  (3, -5);
   \end{tikzp i ctu re}$$
U sin g  the f ormul ae - f or the quan tum$6j$-symb ols to g ether w i th Lemm a \[te tra -le mma\ ] ,we  ha ve $$\ b eg in{ a lig ned}
&\b eg in {tikz pict u r e } [bas eli ne=( curre nt  bounding bo x.ce n ter ),
         w h/.st yle={c ircle ,d raw=black,thick ,inn er sep=.5 mm} ,        bl/.s tyl e={ circle, draw=bl a ck, fi l l = bl ack,thick,inner se p= . 5 mm }, scale  = 0.1 7 ]      \no de  at  (1, 0 )  {$i$ };
\ n od e at (3, 3) {{\ f oo tn otesize  $  k_2$} }; 
\n ode  at ( - 3,3)  {{\fo otnotesi ze $k _1$}};
\node a t  (-5,8) {$m_1 $ }; \ no d e at  (5 ,8) {$l_2$} ;
\n o de a t (- 5 ,- 8){ $m_1$ };
\n od e  a t  (5,-8) {$l_2$};
\n od e at ( 3,-3)  {{\footnotes ize $k_2$} } ; \node at  (-3 , -3 )  {{\footnotesi ze $k _1$}};
\no d e at (-7 ,0) { $l_1$};\node at( 8 ,0) {$m_ 2$} ;
\ dra w [ - ,  c olor=black]
    ( 0,-2) - - ( 0, 2);\dr aw[-,  co lo r=black]       (0 ,2 )--  (3 , 5); \draw [- ,col or =bl ack
5);
\draw [-,_color=black]
 _   _ _(0,-2)_-- (3,_-5);
\draw_[-, color=black]
 _  _   (-3,-9)_-- (-3, -5);
\draw_[-,_color=black]
        (3,-9) -- (3, -5);
\draw [-, color=black]
__ ___  (-3,5) -- (-3,9);
\draw_[-, color=black]
   _ _  (3,5) -- (3, 9);
\draw [-, color=black]
__  _   (-3,5) to [bend right = 90]_ (-3,-5);
\draw [-, color=black]
  _  ___(3,5) to [bend left_= 90]  (3, -5);
 _  \end{tikzpicture}$$

Using the formulae -_for the quantum $6j$-symbols together with Lemma_\[tetra-lemma\], we have $$\begin{aligned}
&\begin{tikzpicture}[baseline=(current  bounding_ box.center),
   _ _    _ wh/.style={circle,draw=black,thick,inner sep=.5mm},
_ _  _     _bl/.style={circle,draw=black,fill=black,thick,inner sep=.5mm}, scale_= 0.17]
    __  \node_at_(1,0)_{$i$};
\node at_(3,3) {{\footnotesize $_k_2$}};
\node_at (-3,3)_{{\footnotesize_$ k_1$}};
\node at (-5,8) {$m_1$};
\node at_(5,8)_{$l_2$};
\node at (-5,-8) {$m_1$};
\node at (5,-8) {$l_2$};
\node_at (3,-3) {{\footnotesize $k_2$}};
\node_at_(-3,-3) {{\footnotesize $k_1$}};
\node at_(-7,0) {$l_1$};
\node at (8,0) {$m_2$};
\draw_[-, color=black]
    _ _ (0,-2)_-- (0, 2);
\draw [-, color=black]
      _ (0,2) -- (3, 5);
\draw [-,_color=black