Source: wikibot/katetov-tong-insertion-theorem

= Katětov–Tong insertion theorem
{wiki=Katětov–Tong_insertion_theorem}