theorem :: GLIB_009:88

for G being _Graph
for E1, E2 being RepDEdgeSelection of G holds card E1 = card E2