<%> E in A ? by Th78;
hence not A ? is empty ; :: thesis: verum