たびたびすいません。
(x=u∧φ(x)) ⇒ φ(u) の証明はどうやるのでしょうか？