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