theorem Th106: :: GLIB_015:106

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