という仮定に変える必要がある。