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