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