theorem Th105: :: GLIB_015:105

for F being non empty Graph-yielding Function
for z being Element of dom F holds F, canGFDistinction (F,z) are_Disomorphic