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.