( A is open & A is closed ) by TDLAT_3:15, TDLAT_3:16;
hence Fr A is empty ; :: thesis: verum