Prooved most of split_insert_left