Assume $(M,g)$ is Schwarzschild manifold, $A$ is the minimum area in the homology class of the boundary. How to prove that $A=$ the area of the horizon.