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