Redirecting to Fubini's theorem