theorem Th4: :: YELLOW11:4

3 \ 2 = {2}