Redirecting to Tonelli's theorem