theorem Th10: :: EUCLID_7:11

{} is Permutation of {}