不変性の表示