set a = the positive expression of C, an_Adj C;
the positive expression of C, an_Adj C is quasi-adjective of C ;
hence ex b₁ being quasi-adjective of C st b₁ is positive ; :: thesis: verum