これが成り立つことを示せみたいなのがテストに出た覚えがあるからてっきり