ByNobleID
    New proofs of classical insertion theorems | NobleID