theorem Th114: :: GLIB_015:114

for G2, H being _Graph
for F being PGraphMapping of G2,H st F is directed & F is weak_SG-embedding holds
ex G1 being Supergraph of G2 st G1 is H -Disomorphic