Subtraction Tautology

Chapter 17

19