Caristi's theorem