theorem Th74: :: GLIB_010:74

for G1, G2 being _Graph
for F being one-to-one PGraphMapping of G1,G2 st F is total & F is Dcontinuous holds
F " is Dcontinuous