theorem Th14: :: SCMYCIEL:14

for G, H being set st G c= H holds
PairsOf G c= PairsOf H