prove l ++ [] = l with induction. tired; need to finish reading and theorem above