Create pro_redu

This is a beautiful work, the teacher like !