reformat Ex 2.5 proof of equivalence