take 1,1 --> (- 1) ; :: thesis: ( 1,1 --> (- 1) is Negative & 1,1 --> (- 1) is Nonpositive )
thus ( 1,1 --> (- 1) is Negative & 1,1 --> (- 1) is Nonpositive ) ; :: thesis: verum