
\input{Dias.tikz}
      
\pgfmathparse{7} \let\x\pgfmathresult

\begin{tikzpicture}[]
   \node at (-\x,3*\h) [mybox,right]
   {
      Axioma de Paralelismo de Euclides (APE)
   };
   \node at (\x,3*\h) [mybox,left]
   {
      Teorema de Ângulos Alternos-internos
   };
   
   \node at (0,2*\h)(decomp)[mybox]
   {
       Recíproca do Teorema dos Ângulos Alternos-internos
   };
   
   \node  at (-\x+0.35,1*\h)[mybox,right]
   {
      Teorema da Soma dos Ângulos de um Triângulo
   }; 
   \node  at (\x,1*\h)[mybox,left]
   {
      Teorema da Existência de Retângulo
   }; 
   
   \node  at (-\x,0*\h) [mybox,right]
   {
      Lema de Transversal
   };
   \node   at (\x-4,0*\h)[mybox,left]
   {
      Teorema de Ângulo Externo
   }; 
   
   \pgfmathparse{0} \let\xx\pgfmathresult
   \draw (\xx,0.3*\h) -- (\xx,0.7*\h);

   
   \pgfmathparse{-\x+0.2} \let\xx\pgfmathresult
   \pgfmathparse{\x-1.5} \let\xxx\pgfmathresult
   \draw ( \xx,0.3*\h) -- ( \xx,2.7*\h);
   \draw (\xxx,1.3*\h) -- (\xxx,2.7*\h);
   
   
   \pgfmathparse{0.35*\x} \let\xx\pgfmathresult
   \draw (-\xx,2.3*\h) -- (-\xx,2.7*\h);
   \draw (-\xx,1.3*\h) -- (-\xx,1.7*\h);
   \draw ( \xx,2.3*\h) -- ( \xx,2.7*\h);
   \draw ( \xx,1.3*\h) -- ( \xx,1.7*\h);
\end{tikzpicture}