>>541
>初めの4式が成り立つとして
マトモな人の世界では、それを仮定と呼ぶ