Lembre que $[\![ a=a \wedge \varphi(a) ]\!] = [\![ \varphi(a) ]\!]$ e use o item anterior.