show/hide this revision's text 1 [made Community Wiki]

Page 69, Ex5.17: this is not the weak form, and the result is rather trivial.