B = the carrier of (GX | B) by PRE_TOPC:8;
hence V is Subset of GX by XBOOLE_1:1; :: thesis: verum