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.