theorem Th3: :: YELLOW11:3

3 \ 1 = {1,2}