
theorem
  for G1, G2 being non-Dmulti _Graph, f being directed PVertexMapping of G1, G2
  st f is one-to-one holds DPVM2PGM(f) is semi-Dcontinuous semi-continuous
proof
  let G1, G2 be non-Dmulti _Graph, f be directed PVertexMapping of G1, G2;
  assume f is one-to-one;
  then DPVM2PGM(f) is one-to-one by Th35;
  hence thesis;
end;
