for G1, G2 being non-multi _Graph
for f being directed PVertexMapping of G1,G2 holds PVM2PGM f = DPVM2PGM f