これらは等しいはずなので