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