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