theorem Th2: :: YELLOW11:2

2 \ 1 = {1}