proving some things about lists