theorem Th45: :: GLIB_014:45

for G1, G2 being _Graph
for G being GraphMeet of G1,G2 st the_Vertices_of G1 meets the_Vertices_of G2 & the_Edges_of G1 misses the_Edges_of G2 holds
G is edgeless