set x = the object ;
set E = the infinite set ;
set f = the Function of the infinite set ,{ the object };
set G = createGraph ({ the object }, the infinite set , the Function of the infinite set ,{ the object }, the Function of the infinite set ,{ the object });
take createGraph ({ the object }, the infinite set , the Function of the infinite set ,{ the object }, the Function of the infinite set ,{ the object }) ; :: thesis: ( createGraph ({ the object }, the infinite set , the Function of the infinite set ,{ the object }, the Function of the infinite set ,{ the object }) is vertex-finite & not createGraph ({ the object }, the infinite set , the Function of the infinite set ,{ the object }, the Function of the infinite set ,{ the object }) is edge-finite )
thus ( createGraph ({ the object }, the infinite set , the Function of the infinite set ,{ the object }, the Function of the infinite set ,{ the object }) is vertex-finite & not createGraph ({ the object }, the infinite set , the Function of the infinite set ,{ the object }, the Function of the infinite set ,{ the object }) is edge-finite ) ; :: thesis: verum