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