Redirecting to Lindelöf's theorem