 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.