theorem Th32: :: UNIFORM3:2

{1,2,3} \ {1} = {2,3}