Redirecting to Weyl's theorem