A proof for final revision.