take <*1*> ; :: thesis: ( <*1*> is fAP-like & <*1*> is increasing & <*1*> is positive-yielding )
thus ( <*1*> is fAP-like & <*1*> is increasing & <*1*> is positive-yielding ) ; :: thesis: verum