anchor.diff:  \end{align*}
   ++++
   
  -Here’s the code for these three functions:
  +以下はその３つの関数のソースコードです：
   
   [source,cpp]
   ----
  
positive.code: \end{align*}
  ++++
  
  Similarly we can prove other submatrices stem:[Y],stem:[Z],stem:[W].
  
  Now we need to prove the determinant form 
  
  [stem]
  ++++
  \left|M\right|=\left|A\right|\left|D\right|+\left|B\right|\left|C\right|-\operatorname{tr}((A^{\#}B)(D^{\#}C))
  ++++
  
  Again we start from the left hand side
  
  [stem]
  ++++
  
negative.code: D^{\#}C={\left( \begin{matrix}{} {D_3}{C_0}-{D_1}{C_2} &{D_3}{C_1}-{D_1}{C_3} \\ {D_0}{C_2}-{D_2}{C_0} & {D_0}{C_3}-{D_2}{C_1} \\ \end{matrix} \right)}
  ++++
  
  を利用すると
  
  [stem]
  ++++
  