4-01 Subtraction proof