 Hawking's area theorem

Hawking's area theorem states that the total area of classical future event horizons cannot decrease when the null energy condition and the required global assumptions hold. It is the geometric content of the second law of black-hole mechanics.