Redirecting to Dini's theorem