Proof for element_at_index_b_implies_left_below_b
Merged. Removed 'letstrythis'.