theorem Th7: :: RADIX_1:8

for e being object holds
( e in 0 -SD iff e = 0 )