CHAPTER 4 - PROOF GENERALLY