theorem Th42: :: GLIB_015:42

for F1, F2 being Graph-yielding Function st F1,F2 are_Disomorphic holds
F1,F2 are_isomorphic