Using similar techniques, Hawking has proved the basic theorems on the laws governing black holes: that stationary solutions of Einstein’s equations with smooth event horizons must necessarily be axisymmetric; and that in the evolution and interaction of black holes, the total surface area of the event horizons must increase.