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