Redirecting to Egorov's theorem