定理是永恒的;它们的证明是短暂的。