Reverse induction principle on lists