ABSTRACT
The argument that we have just proved was already partly analysed. I had sorted out the premises and conclusion for you; and in writing the proof I supplied each step, including some that a normal human reasoner (unlike a computer) would not bother to spell out.
