5. In this problem we shall prove the inductive step in the proof b...