[[x]]=[x]はどのように証明すればいいのでしょうか？