- the Element of A in -- A ;
hence not -- A is empty ; :: thesis: verum