グラットンで止まるのは確定的に明らか