Rewrite proof problem5
Add theorem problem
Rewrite theorem problem
Add comments : Define Fixpoint fold_right
Add theorem problem