Rewrite proof problem5.