theorem Th2: :: YELLOW12:2

for A, X being set holds (delta X) " [:A,A:] c= A