A1: B \/ {t} is B -extending by XBOOLE_1:7;
t in Fml by Def3;
then {t} is Subset of Fml by SUBSET_1:41;
hence B \/ {t} is Extension of B by A1, XBOOLE_1:8; :: thesis: verum