prove snoc and ++ equiv with 1 elem. great use of induction -- they do the same thing