this material is basic and can be found in any text dealing with the fundamentals of proof technique,such as any of the following: