Redirecting to Taylor–Proudman theorem