\input{Dias.tikz}

   \tikzstyle{mybox1} =
   [
      mybox,
      minimum height=0.75cm,
      text width=5cm
   ]
   \tikzstyle{myboxala} =
   [
      mybox1,
      text width=3.5cm
   ] 
   

   \begin{tikzpicture}
      \pgfmathparse{4} \let\x\pgfmathresult;
      \pgfmathparse{0.15} \let\r\pgfmathresult;
      
      \coordinate (V) at (0,0.375); %half minimum height
      \coordinate (H) at (1.5,0); %half text width
      
      
      \node [myboxala] at (-\x,-0.5*\h) {$ALA$};
      \node [myboxala] at (  0,-0.5*\h) {$LAA$};
      \node [myboxala] at ( \x,-0.5*\h) {$LLL$};
     
      \node [mybox] at (0,2*\h)
      {Axioma de Congruência de Triângulos ($LAL$)};
      
      \node [mybox1] at (-\x,1*\h) (TAAI)
      {Teorema dos Ângulos Alternos-internos};
      

      \node [mybox1] at (\x,1*\h)
      {Transitividade de Congruência de Triângulos};
      
      %horisontal
      \draw[] (-\x,0.25*\h) -- (\x,0.25*\h);
      
      %vertical
      \foreach \t in {-\x,0,\x}
      {
         \draw[] (\t,0.25*\h) -- ($(\t,-0.5*\h)+(V)$);
      }
      
      %most left and right faces
      \draw[] ($(0,2*\h)-(V)$) -- ($(0,0.225*\h)$);
      
      \draw[] ($(\x,0.9*\h)-(V)+(H)$) -- ($(\x,-0.5*\h)+(V)+(H)$);
      
      
      \pgfmathparse{1} \let\x\pgfmathresult;
      \draw[] 
         (-1.375,1*\h) 
         --
         (-\x,1*\h)
         --
         (-\x,0.25*\h+\r);
         
      \draw[] 
         (-\x,0.25*\h-\r)
         --
         ($(-\x,-0.5*\h)+(V)$);
         
      \draw[] 
         (1.375,1*\h) 
         --
         (\x,1*\h)
         --
         (\x,0.25*\h+\r);
         
      \draw[] 
         (\x,0.25*\h-\r)
         --
         ($(\x,-0.5*\h)+(V)$);
         
     \draw ($(\x+\r,0.25*\h)$) arc(0:90:\r);
     \draw ($(\x+\r,0.25*\h)$) arc(0:-90:\r);
         
     \draw ($(-\x-\r,0.25*\h)$) arc(0:90:-\r);
     \draw ($(-\x-\r,0.25*\h)$) arc(0:-90:-\r);
    \end{tikzpicture}
    
