SECTION 5.5.4.

12.5 Prove EQ (12.24).