- the Element of F in -- F by Th7;
hence not -- F is empty ; :: thesis: verum