霍金何时证明面积定理的（）。