for M1, M2 being set st card M1 = 0 & card M2 = 0 holds
M1 = M2