theorem :: RADIX_1:9

0 -SD = {0} by Th7, TARSKI:def 1;