reconsider A = {} as Element of S by PROB_1:10;
take A ; :: thesis: M . A = 0.
thus M . A = 0. by VALUED_0:def 19; :: thesis: verum