Displaying similar documents to “New proofs of classical insertion theorems”