>>959
で、一行目の仮定は満たされているのかい?