Did three proves about insert into list in insert proofs
Merge branch 'master' of github.com:nicolaidahl/BPlusTrees