Holographic mutual information
= Holographic mutual information
<Holographic mutual information> is nonnegative because the disconnected union $\gamma_A\cup\gamma_B$ is an admissible surface for $A\cup B$, whose minimizing surface can have no larger <area>.