half of proof of 5.2.10