set G = createGraph {v},E,S,T;
the_Vertices_of (createGraph {v},E,S,T) = {v} by FINSEQ_4:91;
then card (the_Vertices_of (createGraph {v},E,S,T)) = 1 by CARD_1:50;
hence createGraph {v},E,S,T is trivial by Def21; :: thesis: verum