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