theorem Th87: :: GLIB_015:87

for F being non empty Graph-yielding Function holds F, canGFDistinction F are_Disomorphic