Caristi-Kirk theorem