consider a being negative expression of C, an_Adj C;
a is quasi-adjective of C ;
hence ex b₁ being quasi-adjective of C st b₁ is negative ; :: thesis: verum