Proved element_at_index_b_implies_right_above_b. No admits left in any lemmas used by it.
Merge branch 'master' of github.com:nicolaidahl/BPlusTrees