Added two different failed attempts at proving list_of_length_b_implies_element_at_b.