Redirecting to Katětov–Tong insertion theorem