set G = the V2() GeneratorSet of T;
reconsider X = Union the V2() GeneratorSet of T as VariableSet of T ;
take X ; :: thesis: not X is empty
thus not X is empty ; :: thesis: verum