consider a being positive expression of C, an_Adj C;
take Non a ; :: thesis: ( Non a is negative & not Non a is positive )
thus ( Non a is negative & not Non a is positive ) ; :: thesis: verum