theorem :: GLIB_009:86

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