Σ_{x \in φ} x = 0はどうやって証明しますか?