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