从奇点定理到面积定理